mirror of
https://github.com/NationalSecurityAgency/ghidra.git
synced 2025-10-04 10:19:23 +02:00
Fixed unnecessary showing of dialog related to saving tool changes
This commit is contained in:
parent
279b58a6e2
commit
6736068df2
1 changed files with 28 additions and 35 deletions
|
@ -208,8 +208,7 @@ public class ToolManagerImpl implements ToolManager, PropertyChangeListener {
|
|||
wsMap.put(name, ws);
|
||||
|
||||
// notify listeners of added workspace
|
||||
for (int i = 0; i < changeListeners.size(); i++) {
|
||||
WorkspaceChangeListener listener = changeListeners.get(i);
|
||||
for (WorkspaceChangeListener listener : changeListeners) {
|
||||
listener.workspaceAdded(ws);
|
||||
}
|
||||
|
||||
|
@ -250,8 +249,7 @@ public class ToolManagerImpl implements ToolManager, PropertyChangeListener {
|
|||
wsMap.remove(wsName);
|
||||
|
||||
// notify listeners of removed workspace
|
||||
for (int i = 0; i < changeListeners.size(); i++) {
|
||||
WorkspaceChangeListener listener = changeListeners.get(i);
|
||||
for (WorkspaceChangeListener listener : changeListeners) {
|
||||
listener.workspaceRemoved(ws);
|
||||
}
|
||||
|
||||
|
@ -288,8 +286,8 @@ public class ToolManagerImpl implements ToolManager, PropertyChangeListener {
|
|||
|
||||
Element root = new Element("TOOL_MANAGER");
|
||||
root.setAttribute("ACTIVE_WORKSPACE", activeWorkspace.getName());
|
||||
for (int i = 0; i < workspaces.size(); i++) {
|
||||
WorkspaceImpl ws = (WorkspaceImpl) workspaces.get(i);
|
||||
for (Workspace element : workspaces) {
|
||||
WorkspaceImpl ws = (WorkspaceImpl) element;
|
||||
root.addContent(ws.saveToXml());
|
||||
}
|
||||
Iterator<String> keys = connectMap.keySet().iterator();
|
||||
|
@ -381,8 +379,8 @@ public class ToolManagerImpl implements ToolManager, PropertyChangeListener {
|
|||
* Close all running tools in the project.
|
||||
*/
|
||||
public void close() {
|
||||
for (int i = 0; i < workspaces.size(); i++) {
|
||||
WorkspaceImpl w = (WorkspaceImpl) workspaces.get(i);
|
||||
for (Workspace element : workspaces) {
|
||||
WorkspaceImpl w = (WorkspaceImpl) element;
|
||||
w.close();
|
||||
}
|
||||
}
|
||||
|
@ -563,8 +561,8 @@ public class ToolManagerImpl implements ToolManager, PropertyChangeListener {
|
|||
void closeTool(PluginTool tool) {
|
||||
|
||||
// find the workspace running the tool
|
||||
for (int i = 0; i < workspaces.size(); i++) {
|
||||
WorkspaceImpl ws = (WorkspaceImpl) workspaces.get(i);
|
||||
for (Workspace element : workspaces) {
|
||||
WorkspaceImpl ws = (WorkspaceImpl) element;
|
||||
PluginTool[] tools = ws.getTools();
|
||||
for (PluginTool tool2 : tools) {
|
||||
if (tool == tool2) {
|
||||
|
@ -600,8 +598,7 @@ public class ToolManagerImpl implements ToolManager, PropertyChangeListener {
|
|||
activeWorkspace = workspace;
|
||||
|
||||
// notify listeners of new active workspace
|
||||
for (int i = 0; i < changeListeners.size(); i++) {
|
||||
WorkspaceChangeListener listener = changeListeners.get(i);
|
||||
for (WorkspaceChangeListener listener : changeListeners) {
|
||||
listener.workspaceSetActive(activeWorkspace);
|
||||
}
|
||||
}
|
||||
|
@ -648,8 +645,7 @@ public class ToolManagerImpl implements ToolManager, PropertyChangeListener {
|
|||
// fire property change event
|
||||
PropertyChangeEvent event =
|
||||
new PropertyChangeEvent(this, WORKSPACE_NAME_PROPERTY, ws.getName(), name);
|
||||
for (int i = 0; i < changeListeners.size(); i++) {
|
||||
WorkspaceChangeListener l = changeListeners.get(i);
|
||||
for (WorkspaceChangeListener l : changeListeners) {
|
||||
l.propertyChange(event);
|
||||
}
|
||||
}
|
||||
|
@ -672,8 +668,7 @@ public class ToolManagerImpl implements ToolManager, PropertyChangeListener {
|
|||
deregisterTool(tool.getToolName(), tool);
|
||||
disconnectTool(tool);
|
||||
|
||||
for (int i = 0; i < changeListeners.size(); i++) {
|
||||
WorkspaceChangeListener l = changeListeners.get(i);
|
||||
for (WorkspaceChangeListener l : changeListeners) {
|
||||
l.toolRemoved(ws, tool);
|
||||
}
|
||||
}
|
||||
|
@ -714,8 +709,7 @@ public class ToolManagerImpl implements ToolManager, PropertyChangeListener {
|
|||
}
|
||||
|
||||
void fireToolAddedEvent(Workspace ws, PluginTool tool) {
|
||||
for (int i = 0; i < changeListeners.size(); i++) {
|
||||
WorkspaceChangeListener l = changeListeners.get(i);
|
||||
for (WorkspaceChangeListener l : changeListeners) {
|
||||
l.toolAdded(ws, tool);
|
||||
}
|
||||
}
|
||||
|
@ -778,8 +772,7 @@ public class ToolManagerImpl implements ToolManager, PropertyChangeListener {
|
|||
|
||||
private void firePropertyChangeEvent(PropertyChangeEvent ev) {
|
||||
// notify listeners of tool change
|
||||
for (int i = 0; i < changeListeners.size(); i++) {
|
||||
WorkspaceChangeListener l = changeListeners.get(i);
|
||||
for (WorkspaceChangeListener l : changeListeners) {
|
||||
l.propertyChange(ev);
|
||||
}
|
||||
}
|
||||
|
@ -812,7 +805,7 @@ public class ToolManagerImpl implements ToolManager, PropertyChangeListener {
|
|||
}
|
||||
|
||||
// we are in auto mode...if there is only one tool, then we can auto save
|
||||
if (getToolInstanceCount(tool) == 1) {
|
||||
if (getToolInstanceCount(tool) <= 1) {
|
||||
return true;
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue