Name
Texteditor.Paste -- paste text from clipboard
Synopsis
mui.DoMethod(id, "Paste")
Function
Pastes text from clipboard into the text editor gadget.
Inputs
id
id of the text editor object
Show TOC