A function that can be used in Scripting.
editor
editorID
editorName$
For an introduction, see Scripting 7. Scripting the editors.
© Paul Boersma 2023