Package ghidra.framework.model
Interface WorkspaceChangeListener
- All Superinterfaces:
EventListener
,PropertyChangeListener
Listener that is notified when a tool is added or removed from a
workspace, or when workspace properties change.
-
Method Summary
Modifier and TypeMethodDescriptionvoid
toolAdded
(Workspace ws, PluginTool tool) Notification that a tool was added to the given workspace.void
toolRemoved
(Workspace ws, PluginTool tool) Notification that a tool was removed from the given workspace.void
Notification that the given workspace was added by the ToolManager.void
Notification that the given workspace was removed by the ToolManager.void
Notification that the given workspace is the current one.Methods inherited from interface java.beans.PropertyChangeListener
propertyChange
-
Method Details
-
toolAdded
Notification that a tool was added to the given workspace.- Parameters:
ws
- workspace the affected workspacetool
- tool that was added
-
toolRemoved
Notification that a tool was removed from the given workspace.- Parameters:
ws
- workspace the affected workspacetool
- tool that was removed from the workspace
-
workspaceAdded
Notification that the given workspace was added by the ToolManager.- Parameters:
ws
- workspace the affected workspace
-
workspaceRemoved
Notification that the given workspace was removed by the ToolManager.- Parameters:
ws
- workspace the affected workspace
-
workspaceSetActive
Notification that the given workspace is the current one.- Parameters:
ws
- workspace the affected workspace
-