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
Displayed tab width
This option controls how many spaces are used to display tabs in the Ant editor.
4
Insert spaces for tabs when typing
This option controls whether a tab is replaced with spaces when typed in the Ant editor.
Off
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.

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

Ant editor appearance preference page

Related concepts
Ant support

Related reference
Ant Editor
Ant preferences
Ant runtime preferences