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-4309 - Updated Options API to defer Swing PropertyEditor construction

Browse source
This commit is contained in:
dragonmacher 2024-03-12 15:19:15 -04:00
parent 50df70ba0f
commit cabeaf3c1b
29 changed files with 317 additions and 316 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -238,7 +238,7 @@ public class OptionsManager implements OptionsService, OptionsChangeListener {
oldEditor.dispose();
}
keyBindingOptions.registerOptionsEditor(new KeyBindingOptionsEditor());
keyBindingOptions.registerOptionsEditor(() -> new KeyBindingOptionsEditor());
OptionsDialog dialog =
new OptionsDialog("Options for " + tool.getName(), "Options", getEditableOptions(),
null, true);