yetangitu/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2025-10-03 09:49:23 +02:00
Code Issues Releases Wiki Activity

Merge remote-tracking branch 'origin/GT-2818-dragonmacher'

Browse source
This commit is contained in:
ghidravore 2019-04-24 18:11:01 -04:00
commit ed6378cd77
1 changed files with 3 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

14
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/FrontEndTool.java
View file

@ -249,16 +249,6 @@ public class FrontEndTool extends PluginTool implements OptionsChangeListener {
options.addOptionsChangeListener(this); options.addOptionsChangeListener(this);
} }
// a place to clear options that are specific to the FrontEndTool and should be reset between
// opening projects
private void clearFrontEndOptions() {
// TODO: just for the record, it seems odd to me that you would want to the FrontEndTool
// to have the 'auto save' setting be different for different projects--no sir, I don' like it
ToolOptions options = getOptions("Tool");
options.removeOptionsChangeListener(this);
options.removeOption(AUTOMATICALLY_SAVE_TOOLS);
}
@Override @Override
public void optionsChanged(ToolOptions options, String optionName, Object oldValue, public void optionsChanged(ToolOptions options, String optionName, Object oldValue,
Object newValue) { Object newValue) {
@ -295,7 +285,9 @@ public class FrontEndTool extends PluginTool implements OptionsChangeListener {
return; return;
} }
clearFrontEndOptions(); ToolOptions options = getOptions("Tool");
options.removeOptionsChangeListener(this);
configureToolAction.setEnabled(true); configureToolAction.setEnabled(true);
setProject(project); setProject(project);
AppInfo.setActiveProject(project); AppInfo.setActiveProject(project);