org.gjt.sp.jedit.options
Classes 
AbbrevsOptionPane
AppearanceOptionPane
BrowserColorsOptionPane
BrowserOptionPane
BufferOptionPane
ContextOptionPane
DockingOptionPane
EditingOptionPane
EncodingsOptionPane
FirewallOptionPane
GeneralOptionPane
GlobalOptions
GutterOptionPane
IconTheme
MouseOptionPane
PluginManagerOptionPane
PluginOptions
PluginOptions.NoPluginsPane
PrintOptionPane
SaveBackupOptionPane
ShortcutsOptionPane
StatusBarOptionPane
SyntaxHiliteOptionPane
TextAreaOptionPane
ToolBarOptionPane
ViewOptionPane