4.7.7 The Preferences structure

customEditorName

Preferences option

Structure

Shell.Options.Preferences

Type

val customEditorName: string option

Description

Specifies the name of the custom editor that you prefer to use. On Windows the default is "Wordpad". The value of this option appears, and can be set, in the Custom Editor Name text box on the GUI environment's Preferences > Editor dialog.

This option has an effect only if the editor option is set to "Custom".