6.5.1 Editor Configuration - Display
This tab controls the overall appearance and functionality of the editor.
Gutter
This group controls options related to the "gutter". This is the vertical panel that shows up next to each text editor.
- Visible
- Controls the visibility of the gutter
- Show line numbers
- When checked, line numbers will be shown
- Start at zero
- When showing line numbers, this determines whether they start at 0 or 1
- Show leading zeros
- When showing line numbers, whether to show leading zeros as in 001, 002
- Use Gutter Font
- Whether to specify the font used in the gutter, or to use the default
- Gutter Color
- The color of the gutter panel
Right Edge
The Right Edge is a line drawn in the editor to denote a certain column in the editor.
- Edge Column
- The column (character position) to draw the line at
- Edge Color
- The color of the edge column line
Line Spacing / Tab Spacing
This group allows you to control tab and line spacing.
- Extra Lines
- Number of extra lines to include per line break
- Tab Width
- Number of characters a tab represents
Bookmarks
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.
- Bookmark keys
- Must be checked to allow the setting and navigating of bookmarks
- Bookmarks visible
- When checked, and icon will appear in the editor denoting the location of a bookmark
Editor Font
Allows you to select the font used in the editor