public interface WorkspaceListener extends EventListener
WorkspaceManager
.WorkspaceManager
,
WorkspaceEditor
Modifier and Type | Method and Description |
---|---|
void |
editorClosed(WorkspaceEvent evt)
Invoked after an editor is closed in the workspace.
|
void |
editorDeselected(WorkspaceEvent evt)
Invoked after an editor has been deselected in the workspace.
|
void |
editorIconified(WorkspaceEvent evt)
Invoked after an editor has been iconified in the workspace.
|
void |
editorRestored(WorkspaceEvent evt)
Invoked after an editor has been restored (from an icon) in the
workspace.
|
void |
editorSelected(WorkspaceEvent evt)
Invoked after an editor has been selected in the workspace.
|
void |
editorStateChanged(WorkspaceEvent evt)
Invoked after an editor's state has changed in some way.
|
void editorSelected(WorkspaceEvent evt)
void editorDeselected(WorkspaceEvent evt)
void editorRestored(WorkspaceEvent evt)
void editorIconified(WorkspaceEvent evt)
void editorClosed(WorkspaceEvent evt)
void editorStateChanged(WorkspaceEvent evt)
WebARTS Library Licensed Under the GNU - General Public License. Other Libraries licensed under their respective Open Source Licenses