Index
Options Menu
Font ...
This dialog allows to specify the font attributes of the current and all future editor windows. The font attributes will be stored to the desktop properties, which are applied at each start of the environment.