Next: , Previous: Editor Configuration, Up: Editor Configuration   [Contents]


6.5.1 Editor Configuration - Display

resources/editorc-1

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


Next: , Previous: Editor Configuration, Up: Editor Configuration   [Contents]