Editor Settings
The Editor has other configurable settings, such as for font and color settings,
abbreviation tables, formatting of generated code, appearance of the insertion point,
and so on. Many of these settings are separately customizable for Java, HTML, JSP,
and plain text under their respective subnodes under Editor Settings
in the Global Options window. In general the editor settings are divided into Global Editor Settings
and Editor settings by type of editor.
