4.7 Environment options: the Options structure
Preferences structure controls preferred behaviors in the GUI and TTY environments.
structure Preferences: sig val customEditorName: string option val editor: string option val externalEditorCommand: string option val maximumHistorySize: int option val maximumErrors: int option val useCompletionMenu: bool option val useDebugger: bool option val useErrorBrowser: bool option val useWindowDebugger: bool option end
Generated with Harlequin WebMaker