Font

The editor font option allows the user to select a type face and size to be used in the editor.  Note that only fixed-pitch fonts are listed for use in the editor.