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

GT-2818 - Tool Options - fixed overwriting of saved 'auto-save' option

Browse source
This commit is contained in:
dragonmacher 2019-04-17 17:56:14 -04:00
parent 4ce178c419
commit efa6a1c9b2
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);
}
// 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
public void optionsChanged(ToolOptions options, String optionName, Object oldValue,
Object newValue) {
@ -295,7 +285,9 @@ public class FrontEndTool extends PluginTool implements OptionsChangeListener {
return;
}
clearFrontEndOptions();
ToolOptions options = getOptions("Tool");
options.removeOptionsChangeListener(this);
configureToolAction.setEnabled(true);
setProject(project);
AppInfo.setActiveProject(project);