Next: Editor Configuration - Options, Previous: Editor Configuration, Up: Editor Configuration
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.
The Right Edge is a line drawn in the editor to denote a certain column in the editor.
This group allows you to control tab and line spacing.
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.
Allows you to select the font used in the editor