do-paste in text%
Called to paste the current contents of the clipboard into the editor.
This method is provided so that it can be overridden by subclasses.
Do not call this method directly; instead, call
paste.
( -> void
send a-text do-paste start time)
start : exact non-negative integer
time : exact integer
Paste into the position start.
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.