4.8 Editor support: The Editor structure

remove

Function

Structure

Shell.Editor.Custom

Type

val remove: string -> (string * string * string list)

Syntax

remove name -> command-line dialog-name commands

Arguments

name
A custom editor name.

Values

command-line
The command-line invocation string used to create instances of the custom editor name.

dialog-name
The name of the connect dialog used with instances of the custom editor name.

commands
The list of commands passed to instances of the custom editor name.

Description

Removes the custom editor called name from the list of custom editors. Returns the command-line invocation string, the connect dialog name, and the list of editing commands that were associated with that custom editor, or ("", "", []) if there was no custom editor called name.


MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker