> displays the global options dialog box. The dialog box is divided into several panes, each pane containing a set of related options. Use the list on the left of the dialog box to switch between panes. Only panes created by jEdit are described here; some plugins add their own option panes, and information about them can be found in the documentation for the plugins in question.
The
option pane can be used to enable or disable automatic abbreviation expansion, and to edit currently defined abbreviations.The combo box labelled “Abbrev set” selects the abbreviation set to edit. The first entry, “global”, contains abbreviations available in all edit modes. The subsequent entries correspond to each mode's local set of abbreviations.
To change an abbreviation or its expansion, either double-click the appropriate table entry, or click a table entry and then click the
button. This will display a dialog box for modifying the abbreviation.The
button displays a dialog box where you can define a new abbreviation. The button removes the currently selected abbreviation from the list.See the section called “Positional Parameters” for information about positional parameters in abbreviations.
The Appendix C, History Text Fields.
pane can be used to change the appearance of user interface controls such as buttons, labels and menus. The number of items retained in history text fields can also be set here; seeNote that changes to certain settings such as the Swing look and feel require a restart of jEdit to take effect.
The the section called “Autosave and Crash Recovery” and the section called “Backups”.
option pane contains settings for the autosave and backup features. SeeThe
option pane contains settings such as the tab size, syntax highlighting and soft tabs on a global or mode-specific basis.When changing mode-specific settings, the Appendix D, Glob Patterns for information about glob patterns.
and text fields let you specify a glob pattern that names and first lines of buffers will be matched against to determine the edit mode. SeeThis option pane does not change XML mode definition files on disk; it merely writes values to the user properties file which override those set in mode files. To find out how to edit mode files directly, see Part II, “Writing Edit Modes”.
The
pane contains various miscellaneous settings, such as the default line separator and file encoding, the number of recent files to remember, if the buffer list should be sorted, and so on.The
option pane contains settings for toggling drag and drop of text, as well as gutter mouse click behavior.The
option pane lets you specify HTTP and SOCKS proxy servers to use when jEdit makes network connections, for example when downloading plugins.The
option pane associates keyboard shortcuts with commands. Each command can have up to two shortcuts associated with it.The combo box at the top of the option pane selects the command set to edit. Command sets include the set of all built-in commands, the commands of each plugin, and the set of macros.
To change a shortcut, click the appropriate table entry and press the keys you want associated with that command in the resulting dialog box. The dialog box will warn you if the shortcut is already assigned.
The the section called “The File System Browser” for more information.
group contains two option panes, and . The former contains various file system browser settings. The latter configures glob patterns used for coloring the file list. See