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