The following preferences can be changed on the Text Editor page.
Appearance options
|
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. | |
|---|
Annotations options
|
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:
