> displays the options dialog box. It has 2 tabs, the first one is . 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.
Thepane contains various settings, such as the number of recent files to remember, when to check for changed files, if the recent file list should be sorted, what current locale to use, if caret positions or markers in buffers should be saved, if previously open files or split configurations should be restored on startup, and so on.
If Open Buffers Are Changed On Disk... . If Do Nothing is selected, then modifications from jEdit will silently clobber changes made from other processes during saves. Don't use this option unless you know what you are doing! Also, changing this option here only affects newly opened buffers, not the ones that are currently open. You can also change this setting for individual buffers from Buffer Options. the section called “The Buffer Options Dialog Box”
Check for changed buffers upon... . This option allows you choose additional times that jEdit checks for changed files on disk. For slow or remote file systems, removing unnecessary file status checks might improve performance. Regardless of the choice here, files are still checked before save, unless Do Nothing is also selected for the previous option.
Theoption 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 thebutton. This will display a dialog box for modifying the abbreviation.
Thebutton 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.
Theoption pane shows a list of available dockables, and allows you to specify docking locations for each of them. Another way to specify docking locations is to use the popup menus associated with each dockable window.
It is possible to configure jEdit to automatically load and/or save Docking Layouts (similar to eclipse perspectives) based on the edit mode of your current buffer through the checkboxes in this pane. See the section called “Window Docking Layouts”.
jEdit also supports alternate docking frameworks. If the appropriate plugins are installed (Currently only MyDoggy is available), you can change docking frameworks from here.
Theoption pane contains settings such as the tab size, syntax highlighting and soft tabs on a global or mode-specific basis.
Changing options from this optionpane 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”. Some of these options can be further overridden on an individual file basis through the use of buffer-local properties.
First line glob text
fields let you specify a glob pattern that paths and first lines of
buffers will be matched against to determine the edit mode. See
Appendix D, Glob Patterns for information about glob patterns.
Extra Word Characters allows you to set the
noLineSep buffer property on a mode-wide basis, allowing you to define what is considered part of a word when double-clicking on it in the text area.
Deep Indent option instructs jEdit to indent subsequent lines so that they line up with the open bracket on the previous line.
This option pane offers users of jEdit many flexible options for defining how Encodings are handled in jEdit. See the section called “Character Encodings” for the basics.
The default line separator character (see the section called “Line Separators”) can be set from here.
Use autodetection when possible is an option you can switch on or off.
List of Encoding Autodetector Names
can be used to control what encoding detections are used on each file when it is loaded.
The order they appear in this list determines the order of detectors that are tried.
There are some detectors which are available with jEdit core:
Byte Order Mark.
encoding declaration in XML Processing Instruction.
charset description in HTML META element.
various encoding declaration accepted in Python. This
accepts encoding declarations for GNU Emacs or Bram Moolenaar's
detects same syntax described at the section called “Buffer-Local Properties”
for property name "encoding". Note that unlike other buffer-local
properties, this one will not work unless it is at the top of the file,
and this appears in the list of encoding detectors.
Others can be defined in plugins as services and added to this space-separated list. See EncodingDetector for details on how to offer additional encoding autodetector.
List of Fallback Encodings is used when
a file fails to open in the default encoding, and the Encoding
Autodetectors also fail. The list order here determines the order of
encodings that are tried. Each is separated by a space. This is
especially handy when doing directory searches through files of
different encodings. We suggest using
either your default or one of the fallback encodings.
While jEdit allows you to edit files in a variety of different encodings, the average user switches between only 2 or 3. In other parts of jEdit, where the list of encodings is displayed in a combobox (such as the buffer options) or a menu (such assubmenu) it may be desirable to display only a subset of available encodings, those that are in common local use. The Encodings checkbox list allows the user to select the subset of supported encodings to display in other GUI components that list all of the encodings.
Theoption pane contains settings for toggling drag and drop of text, as well as gutter mouse click behavior.
The only option that may not be self-explanatory is the Double-Click drag joins non-alphanumeric characters. This option means that double-click will select a region that includes the non-alphabetical characters, as defined for the current mode. The actual set of characters can be defined for an indiviual file via buffer-local properties (
noWordSep) or on a mode-wide basis from the Editing option pane (
Extra Word Characters).
If the option "disable obsolete plugins" is enabled, then plugins that were released on Plugin Manager will be checked against the plugins you have installed, for those with a maximum jEdit version that is lower than the one you are running. Plugins are marked with a maximum version when they are found to be broken or somehow incompatible with a given jEdit release. Until an update is made available for such a plugin on Plugin Manager, these plugins are automatically unloaded and marked unsupported.
If you re-enable a plugin that was disabled this way, it will remain loaded until the next time the plugin list checked - whenever the user selects the Update or Install tab from Plugin Manager. If you un-check this option, then obsolete plugins will not be automatically disabled in this way.
Theoption pane lets you specify HTTP and SOCKS proxy servers to use when jEdit makes network connections, for example when downloading plugins.
Theoption pane associates keyboard shortcuts with commands. Each command can have up to two shortcuts associated with it, and each shortcut can be a single or multiple key sequence.
jEdit 5 introduces a new feature known as "keymaps". Each keymap is
a named set of keyboard shortcut mappings.
Default keymaps are found in jEdit's
and user customized keymaps are are stored in the
The top combobox allows you to Choose a Keymap, or a set of shortcuts. The "imported" keymap is automatically created and selected when jEdit needs to initially create a "keymaps" user settings folder. At this point, jEdit imports the existing shortcuts and places them into "imported". This makes it easy to bring in shortcuts from properties files that were customized with jEdit 4.5 or earlier.
If a keymap of the same name exists in the defaults and the user settings
directory, the user version is the one that is used in favor of the default.
To take an existing keymap and customize it, select it, click
keymaps directory. At this point,
this keymap will be selected and will determine where new shortcut properties are
stored. To remove all customizations and restore a default keymap,
The combo box below the keymap selector selects the command set to edit. Command sets exist for 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 properties will be saved in the currently selected keymap.
Options tab, you can
customize information about the caret display in the lower
Widgets tab of this option pane shows
you what widgets on the right, and their order. You can add or remove widgets
and separators/labels here.
Thepane contains settings to customize the appearance of the text area.
You can configure the, antialias settings, colors, cursor style, highlight matching, and word-completion settings from here.
is an old option that helps with certain versions of Java, but usually not in combination with subpixel antialiasing.
if checked, shows a list of , as well as the following option. Fonts added to this list will determine the order jEdit searches for glyphs that may be missing from your chosen .
If the all of the installed fonts are searched for glyphs, after the preferred list is searched. If this option is checked, no fonts need to be added to preferred fonts list. You probably don't want to un-check either of these options unless you want to test a system with limited fonts.option is checked,
The the section called “The File System Browser (FSB)” 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