Difference between revisions of "IDE Window: Editor Options Display"
From Lazarus wiki
Jump to navigationJump to searchLine 1: | Line 1: | ||
{{IDE Window: Editor Options Display}} | {{IDE Window: Editor Options Display}} | ||
− | <u><b>This is the online help for the IDE | + | <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: "Environment" => "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:_Options|IDE Options]]</font> Overview of all options for the IDE</td> | ||
+ | </tr></table> | ||
+ | |||
---- | ---- | ||
+ | |||
=Display= | =Display= | ||
=== Margin and gutter === | === Margin and gutter === |
Revision as of 15:56, 30 October 2010
│
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: "Environment" => "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