yetangitu/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2025-10-05 19:42:36 +02:00
Code Issues Releases Wiki Activity

GP-2780 - Fixed option node with '.' in its name

Browse source
This commit is contained in:
dragonmacher 2022-11-01 17:10:38 -04:00
parent 17884b8786
commit bc1ecf4b8c
3 changed files with 14 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

10
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/mgr/OptionsManager.java
View file

@ -33,6 +33,7 @@ import ghidra.framework.plugintool.dialog.KeyBindingsPanel;
import ghidra.framework.plugintool.util.OptionsService;
import ghidra.util.HelpLocation;
import ghidra.util.Msg;
import ghidra.util.exception.AssertException;
/**
* Created by PluginTool to manage the set of Options for each category.
@ -61,6 +62,12 @@ public class OptionsManager implements OptionsService, OptionsChangeListener {
@Override
public ToolOptions getOptions(String category) {
if (category.contains(Options.DELIMITER_STRING)) {
throw new AssertException(
"Options category cannot contain the options path delimiter '" + Options.DELIMITER +
"'");
}
ToolOptions opt = optionsMap.get(category);
if (opt == null) {
opt = new ToolOptions(category);
@ -245,8 +252,7 @@ public class OptionsManager implements OptionsService, OptionsChangeListener {
}
private void removeUnusedOptions(List<String> deleteList) {
for (int i = 0; i < deleteList.size(); i++) {
String name = deleteList.get(i);
for (String name : deleteList) {
ToolOptions options = optionsMap.remove(name);
options.removeOptionsChangeListener(this);
}