editor

A function that can be used in Scripting.

Syntax and semantics

editor (editorID)
enter the environment of the editor whose ID is editorID.
editor (editorName$)
enter the environment of the editor whose name is editorName$.

For an introduction, see Scripting 7. Scripting the editors.

Links to this page


© Paul Boersma 2023