Difference between revisions of "IDE Window: Editor Options Display"
From Lazarus wiki
Jump to navigationJump to searchJwdietrich (talk | contribs) (categorized) |
m (→Margin and gutter: Avoid page redirect) |
||
| (5 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| − | {{IDE Window: Editor Options Display}} | + | <noinclude>{{IDE Window: Editor Options Display}}</noinclude> |
<u><b>This is part of the online help for the IDE. </b></u><br/> | <u><b>This is part of the online help for the IDE. </b></u><br/> | ||
| Line 8: | Line 8: | ||
<font size="+1"><u><b>Navigation</b></u></font><br/> | <font size="+1"><u><b>Navigation</b></u></font><br/> | ||
<table><tr><td> | <table><tr><td> | ||
| − | *<font size="+1">[[ | + | *<font size="+1">[[IDE Window: Editor Options|Editor Options]]</font> Overview of all Editor Options |
</td><td> </td><td> | </td><td> </td><td> | ||
| − | *<font size="+1">[[ | + | *<font size="+1">[[IDE Window: IDE Options Dialog|IDE Options]]</font> Overview of all options for the IDE</td> |
</tr></table> | </tr></table> | ||
| 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 | ||
| Line 34: | Line 35: | ||
=Related options= | =Related options= | ||
===Colors=== | ===Colors=== | ||
| − | See [[ | + | See [[IDE Window: Editor Options HighlightColors|Colors]] |
===Markup and Matches=== | ===Markup and Matches=== | ||
| − | See [[ | + | See [[IDE Window: Editor Options Markup|Markup and Matches]] |
| − | |||
| − | |||
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
