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()