Package ghidra.app.util.viewer.options
Class ListingDisplayOptionsEditor
- java.lang.Object
-
- ghidra.app.util.viewer.options.ListingDisplayOptionsEditor
-
- All Implemented Interfaces:
OptionsEditor
public class ListingDisplayOptionsEditor extends java.lang.Object implements OptionsEditor
Class for editing Listing display properties.
-
-
Field Summary
Fields Modifier and Type Field Description static java.awt.Font
DEFAULT_FONT
-
Constructor Summary
Constructors Constructor Description ListingDisplayOptionsEditor(Plugin ownerPlugin, Options options)
Constructs a new ListingDisplayOptionsEditor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
apply()
Apply the changes.void
cancel()
Cancel the changes.void
dispose()
Dispose this editorjavax.swing.JComponent
getEditorComponent(Options editableOptions, EditorStateFactory editorStateFactory)
Get the editor component.boolean
isResizable()
Returns true if this component has "good" resizing behavior.void
reload()
A signal to reload the GUI widgets in the component created by this editor.void
setOptionsPropertyChangeListener(java.beans.PropertyChangeListener listener)
Sets the options change listener
-
-
-
Method Detail
-
dispose
public void dispose()
Description copied from interface:OptionsEditor
Dispose this editor- Specified by:
dispose
in interfaceOptionsEditor
-
apply
public void apply()
Apply the changes.- Specified by:
apply
in interfaceOptionsEditor
-
cancel
public void cancel()
Description copied from interface:OptionsEditor
Cancel the changes.- Specified by:
cancel
in interfaceOptionsEditor
-
reload
public void reload()
Description copied from interface:OptionsEditor
A signal to reload the GUI widgets in the component created by this editor. This will happen when the options change out from under the editor, such as when the user restores the default options values.- Specified by:
reload
in interfaceOptionsEditor
-
setOptionsPropertyChangeListener
public void setOptionsPropertyChangeListener(java.beans.PropertyChangeListener listener)
Description copied from interface:OptionsEditor
Sets the options change listener- Specified by:
setOptionsPropertyChangeListener
in interfaceOptionsEditor
- See Also:
OptionsEditor.setOptionsPropertyChangeListener(java.beans.PropertyChangeListener)
-
isResizable
public boolean isResizable()
Returns true if this component has "good" resizing behavior. Components that do not have this property will be placed in a scrolled pane.
-
getEditorComponent
public javax.swing.JComponent getEditorComponent(Options editableOptions, EditorStateFactory editorStateFactory)
Get the editor component.- Specified by:
getEditorComponent
in interfaceOptionsEditor
- Parameters:
editableOptions
- The editable options that for which a GUI component will be creatededitorStateFactory
- The factory that will provide state objects this options editor
-
-