Difference between revisions of "IDE Window: Editor Options Display"
From Lazarus wiki
Jump to navigationJump to search (Excuded redirect, deleted underscores (it is bad for search)) |
|||
(4 intermediate revisions by 3 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/> | ||
+ | It describes the section: "Editor" / "Display". You can open the described dialog in your IDE via:<br/> | ||
+ | *The menu: "Tools" => "Options" / Editor options ... | ||
+ | *The source-editor pop-up menu: "Editor properties ... | ||
+ | |||
+ | <font size="+1"><u><b>Navigation</b></u></font><br/> | ||
+ | <table><tr><td> | ||
+ | *<font size="+1">[[IDE Window: Editor Options|Editor Options]]</font> Overview of all Editor Options | ||
+ | </td><td> </td><td> | ||
+ | *<font size="+1">[[IDE Window: IDE Options Dialog|IDE Options]]</font> Overview of all options for the IDE</td> | ||
+ | </tr></table> | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
---- | ---- | ||
+ | |||
=Display= | =Display= | ||
=== Margin and gutter === | === Margin and gutter === | ||
Line 28: | Line 34: | ||
=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]] |
Revision as of 15:01, 30 January 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
- 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