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.
author: Slava Pestov version: $Id: OptionPane.java 4669 2003-05-01 02:21:27Z spestov $
Returns the internal name of this option pane. The option pane's label
is set to the value of the property named
options.name.label.
See Also:jEdit.getProperty(String)