4.7.7 The Preferences structure

useCompletionMenu

Structure

Shell.Options.Preferences

Type

val useCompletionMenu: bool option

Description

If true, MLWorks enables the GUI listener's completion dialog.

The listener's Tab-completion mechanism completes a partially typed identifier when you press Tab. If there is only one possible completion, the listener completes the identifier immediately. If there is more than one possible completion, and useCompletionMenu is true, a dialog from which you can choose one of the possible completions appears.

If useCompletionMenu is false when there is more than one possible completion, no dialog appears and the listener makes no change to the partially typed identifier.

This option has no effect if you are not using the GUI environment.

The value of this option corresponds to, and can be set via, the Use completion menu option button on the GUI environment's Preferences > General dialog.

Generated with Harlequin WebMaker