bibliothek.gui.dock.frontend
Interface DockFrontendExtension

public interface DockFrontendExtension

An extension to the DockFrontend, can modify the frontend.

Author:

Benjamin Sigg

Method Summary

void	install(DockFrontend frontend) Called upon construction of frontend.
void	uninstall(DockFrontend frontend) Called upon destruction of frontend.

Method Detail

install

void install(DockFrontend frontend)

Called upon construction of frontend.

Parameters:

frontend - the frontend which was constructed

uninstall

void uninstall(DockFrontend frontend)

Called upon destruction of frontend.

Parameters:

frontend - the frontend which was destroied