Package org.fit.layout.gui

Interface Summary

Interface	Description
AreaSelectionListener	A listener that can be called when the area selection changes in the browser.
Browser	A GUI browser interface used for creating browser plugins.
BrowserPlugin	A browser plugin that extend the GUI browser functionality.
GUIUpdateListener	A listener that is able to update its GUI when something happens.
GUIUpdateSource	A source of GUI update events.
RectangleSelectionListener	An interface that allows the plugin to implement the reactions to a rectangular area selection in the browser window.
TreeListener	The listener that should be informed when some tree is updated in the browser.