public interface OptionPane
See EditPlugin
for information on how jEdit obtains and constructs
option pane instances.
Note that in most cases it is much easier to extend
AbstractOptionPane
instead.
Modifier and Type | Method and Description |
---|---|
java.awt.Component |
getComponent() |
java.lang.String |
getName() |
void |
init()
This method is called every time the option pane is displayed.
|
void |
save()
Called when the options dialog's "ok" button is clicked.
|
java.lang.String getName()
options.name.label
.jEdit.getProperty(String)
java.awt.Component getComponent()
void init()
void save()