Editors Font

Note that fonts are not specific to constructs. The overall text font used by the editor can be selected via the normal Eclipse "Text Font" preference in the "Basic" category (directly below the "Ada" category in the scrollable tree pane on the "Colors and Fonts" page.

Editors font