Ant Editor

The following preferences can be changed on the Ant Editor page.

Appearance options


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.

Ant editor appearance preference page

On the annotations page presents the annotations options for Ant editor.

Ant editor annotations preference page