> displays the options dialog. It has 2 tabs, the first is . This tab contains several options panes, each containing a set of related options. Use the list on the left splitter to switch between panes. Only panes created by jEdit are described here; panes are created and documented by the plugins themselves.
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 3 tabs where settings such as the tab size, syntax highlighting and soft tabs on a global or mode-specific basis are made.
The 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.tab allows adjusting specific settings per mode. Changing these options 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
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.
Thetab provides a setting to choose the default edit mode, the edit modes to display in the various 'mode' choosers, and the ability to manually add a new edit mode. Since there are now over 200 modes that jEdit recognizes, having the ability to reduce the number of choices in the 'mode' choosers to those needed by a user is a nice feature.
This tab also provides a way to easily add and delete user modes.
Thetab allows setting the number of undo and whether to reset the undo history on save.
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 optionis checked, 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 jEdit 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. This should improve the stability of jEdit.
If you re-enable a plugin that was disabled this way, it will remain loaded until the next time the plugin list is checked - whenever the user selects theor tab from Plugin Manager. If you un-check this option, then plugins will not be automatically disabled in this way.
As of jEdit 5.3, all printing options have been moved to the printer dialog. See the section called “Printing”.
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 organizes shortcuts into Keymaps. Each
keymap is a named set of keyboard shortcut mappings.
Default keymaps are found in jEdit's
keymaps folder, and
user customized keymaps are are stored in the user settings'
keymaps folder. The can user switch between keymaps with
the first combobox on this pane.
imported.props 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, click
The combo box below the keymap selector selects the Action Set to edit. Action Sets exist for the set of all built-in commands, the commands of each plugin, and the set of macros. Some plugins (ProjectViewer, Console and SideKick) offer additional action sets of dynamically-generated actions. Here, you can also select All to see all actions, and an additional 4th column appears in the table, indicating the Action Set each action comes from.
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,
You can choose the default bufferset scope here, as well as whether/how you want buffersets to be sorted in buffer switchers. See the section called “Buffer Sets and closing buffers” for more details.
%VARIABLE%\name.ext syntax, depending on your platform.
Abbreviating is used in the File System Browser, as well as in the window
title, and in plugins, to save horizontal space. Reverse-expansions also work
as you would expect them to, with both syntaxes recognized on all platforms.
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