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)) |
|||
| 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 34: | 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 16: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
