Options

Editor Options

There are a few editor options that can be set through the Tools → Options menu option in the main IDE. These can be used to set the text editor's font face and colours.