Next: , Previous: Editor Configuration, Up: Editor Configuration


6.5.1 Editor Configuration - Display

resources/editorc-1.png

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