Editor user interface
Other Editor Options
From the editor's menu View / Editor Options, four tabs are available
for customizing the editor's appearance and operation. These tabs control
the Display, Caret, Highlighter and Keyboard settings.