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 UNIX the default is "Emacs"; on Windows it is "PFE 32". 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".

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker