mirror/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2026-09-28 17:11:11 -09:00
Code Issues Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/GP-1557-dragonmacher-options-npe'

Browse Source 
into Ghidra_10.1 (Closes #3686)
This commit is contained in:
ghidra1
2021-11-30 19:24:02 -05:00
parent 2c8bb0ff8d 8633d89c4e
commit 9f05f11aef
2 changed files with 16 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
Ghidra/Framework/Docking/src/main/java/docking/options/editor/OptionsPanel.java
View File

@@ -410,8 +410,10 @@ public class OptionsPanel extends JPanel {
}
String[] descriptions = editor.getOptionDescriptions();
for (String string : descriptions) {
results.add(string);
if (descriptions != null) {
for (String string : descriptions) {
results.add(string);
}
}
}
}

25
Ghidra/Framework/Generic/src/main/java/ghidra/framework/options/CustomOptionsEditor.java
View File

@@ -1,6 +1,5 @@
/* ###
* IP: GHIDRA
* REVIEWED: YES
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
@@ -22,16 +21,16 @@ package ghidra.framework.options;
* editors that can paint and edit a group of interrelated options.
*/
public interface CustomOptionsEditor {
/**
* Gets the names of the options that this editor is editing.
* @return the names of the options that this editor is editing.
*/
public String[] getOptionNames();
/**
* Gets the descriptions of the options that this editor is editing.
* @return the descriptions of the options that this editor is editing.
*/
public String[] getOptionDescriptions();
/**
* Gets the names of the options that this editor is editing.
* @return the names of the options that this editor is editing; may not be null.
*/
public String[] getOptionNames();
/**
* Gets the descriptions of the options that this editor is editing.
* @return the descriptions of the options that this editor is editing; may be null.
*/
public String[] getOptionDescriptions();
}