paste in editor<%>

Pastes the current contents of the clipboard into the editor.

The system may execute a paste (in response to other method calls) without calling this method. To extend or re-implement copying, override the do-paste in text% or do-paste in pasteboard% method of an editor.

See also get-paste-text-only .

• (send an-editor paste time) -> void
     time = 0 : exact integer

  See Cut and Paste for a discussion of the time argument. If time is outside the platform-specific range of times, an exn:application:mismatch exception is raised.