org.gjt.sp.jedit.options
Classes 
AbbrevsOptionPane
AppearanceOptionPane
AutosaveBackupOptionPane
BrowserColorsOptionPane
BrowserOptionPane
ContextOptionPane
EditingOptionPane
FirewallOptionPane
GeneralOptionPane
GlobalOptions
GutterOptionPane
PluginManagerOptionPane
PluginOptions
PrintOptionPane
ShortcutsOptionPane
StatusBarOptionPane
SyntaxHiliteOptionPane
TextAreaOptionPane
ToolBarOptionPane
ViewOptionPane