Option
|
Description
|
Default
|
---|---|---|
Print margin column |
This option allows to set the print margin for the Ant editor.
|
80 |
Show overview ruler |
This option controls whether the overview ruler is shown on the right side of the Ant editor |
On |
Show line numbers |
This option controls whether line numbers are shown in on the left side of the Ant editor. |
Off |
Highlight current line |
This option controls whether 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. |
On the appearance page presents the appearance options for the Ant editor.
On the annotations page presents the annotations options for Ant editor.