Difference between revisions of "IDE Window: Editor Options Display"
From Free Pascal wiki
Jump to navigationJump to search (Excuded redirect, deleted underscores (it is bad for search)) |
m (→Margin and gutter: Avoid page redirect) |
||
| (3 intermediate revisions by one other user not shown) | |||
| Line 21: | Line 21: | ||
* Visible gutter - show the left bar | * Visible gutter - show the left bar | ||
* Show line numbers - show line numbers in the gutter | * Show line numbers - show line numbers in the gutter | ||
| + | * Show overview gutter - show the right bar (see [[IDE Window: Editor Options Display Gutter]]) | ||
* Every n-th line number - fine tune the above 'Show line numbers' option | * Every n-th line number - fine tune the above 'Show line numbers' option | ||
* Right margin color - position in characters | * Right margin color - position in characters | ||
Latest revision as of 22:49, 5 November 2021
│
English (en) │
This is part of the online help for the IDE.
It describes the section: "Editor" / "Display". You can open the described dialog in your IDE via:
- The menu: "Tools" => "Options" / Editor options ...
- The source-editor pop-up menu: "Editor properties ...
Navigation
|
|
Display
Margin and gutter
- Visible right margin - show the right margin line
- Visible gutter - show the left bar
- Show line numbers - show line numbers in the gutter
- Show overview gutter - show the right bar (see IDE Window: Editor Options Display Gutter)
- Every n-th line number - fine tune the above 'Show line numbers' option
- Right margin color - position in characters
- Gutter separator index - define where the vertical separator line is drawn. A value of 4 means right between gutter and text. -1 means do not draw it at all.
Default editor font
- Font name - Can be as simple as 'courier' or as complicated as '-adobe-courier-medium-r-normal-*-*-140-*-*-*-*-iso10646-1' under gtk/X.
- Editor font height
- Extra line spacing - extra space between lines in pixels.
- Disable anti-aliasing
Related options
Colors
See Colors
