4.7.7 The Preferences structure

editor

Preferences option

Structure

Shell.Options.Preferences

Type

val editor: string option

Description

Specifies the editor-support mode for MLWorks. (See Section 4.8 on page 146 for details of editor-support modes.)

Possible values of editor are "EmacsServer", "External" and "Custom".

If it is "EmacsServer", MLWorks uses its Emacs-server editor facility to invoke editors.

If it is "External", MLWorks uses the external editor command specified in externalEditorCommand (which is also the value of the External Editor text box on the GUI environment's Preferences > Editor dialog) to invoke editors.

If it is "Custom", MLWorks uses the custom editor specified in customEditorName (which is also the value of the Custom Editor Name text box on the GUI environment's Preferences > Editor dialog) to invoke editors.

This option corresponds to the setting of the radio button panel on the GUI environment's Preferences > Editor dialog.