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.