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