4.8 Editor support: The Editor structure
editFile
Function
Structure
Shell.Editor
Type
val editFile: string -> unit
Syntax
editFile name -> ()
Arguments
- name
- The name of a source file.
Values
()
Description
Invokes your preferred (consulting the value of Shell.Options.Preferences.editor to do so) on the source (.sml) file name.
If name does not exist, or if some other file-related error occurs, editFile raises exception EditError.