|
Option
|
Description
|
Default
|
|---|---|---|
|
Print margin column |
This option allows to set the print margin for the text editor.
|
80 |
| Show overview ruler |
This option controls whether the overview ruler on the right side of the text editor is shown. |
On |
|
Show line numbers |
This option controls whether or line numbers are shown in on the left side of the text editor. |
Off |
|
Highlight current line |
This option controls whether or the current line is highlighted or not. |
On |
|
Show print margin |
This option controls whether the print margin is visible or not. |
Off
|
| Appearance color options |
This option controls various appearance colors. |
|
Option
|
Description
|
|---|---|
| Show in text | This option controls whether the selected
annotation type is shown in the text. The corresponding text will be
underlined with squiggles. |
|
Show in overview ruler |
This option controls whether the selected annotation type is shown in the overview ruler. |
|
Color
|
This option controls the color for the selected annotation type. |
Here is what the Text editor preference page looks like:
