Package org.gjt.sp.jedit.options
Global Options dialog box panes.
-
Class Summary Class Description AbbrevsOptionPane Abbrev editor.AppearanceOptionPane BrowserColorsOptionPane Browser color editor.BrowserContextOptionPane Right-click context menu editor.BrowserOptionPane BufferOptionPane ContextOptionPane Right-click context menu editor.DockingOptionPane EditingOptionPane EncodingsOptionPane Encodings options.FirewallOptionPane GeneralOptionPane jEdit's General Options PaneGlobalOptions A dialog that can open initially to one of the Global Option Panes.GutterOptionPane IconTheme MouseOptionPane PluginManagerOptionPane The plugin manager option pane.PluginOptions Deprecated. use CombinedOptionsPluginOptions.NoPluginsPane PrintOptionPane SaveBackupOptionPane The Save and Backup option panel.ShortcutsOptionPane Key binding editor.StatusBarOptionPane Status bar editor.SyntaxHiliteOptionPane Style option pane.TextAreaOptionPane ToolBarOptionPane Tool bar editor.ViewOptionPane