Next: Editor Configuration - Options, Previous: Editor Configuration, Up: Editor Configuration [Contents]
This tab controls the overall appearance and functionality of the editor.
This group controls options related to the "gutter". This is the vertical panel that shows up next to each text editor.
Controls the visibility of the gutter
When checked, line numbers will be shown
When showing line numbers, this determines whether they start at 0 or 1
When showing line numbers, whether to show leading zeros as in 001, 002
Whether to specify the font used in the gutter, or to use the default
The color of the gutter panel
The Right Edge is a line drawn in the editor to denote a certain column in the editor.
The column (character position) to draw the line at
The color of the edge column line
This group allows you to control tab and line spacing.
Number of extra lines to include per line break
Number of characters a tab represents
Bookmarks can be used to rapidly return to a position in your editor
window. Hole down Shift-Ctrl-0
to set the first bookmark,
and Ctrl-0
to jump to the first bookmark. Use numbers 0-9 to
set the respective bookmark.
Each editor tab has its own set of bookmarks. The key strokes can be customized in the Keystrokes section.
Must be checked to allow the setting and navigating of bookmarks
When checked, and icon will appear in the editor denoting the location of a bookmark
Allows you to select the font used in the editor
Next: Editor Configuration - Options, Previous: Editor Configuration, Up: Editor Configuration [Contents]