do-copy in pasteboard%
Called to copy the editor's current selection into the clipboard.
This method is provided so that it can be overridden by subclasses.
Do not call this method directly; instead, call
copy .
(-> voidsenda-pasteboarddo-copytimeextend?)
time: exact integer
extend?: booleanCopy the current selection, extending the current clipboard contexts if
extend?is true.See Cut and Paste for a discussion of the
timeargument. Iftimeis outside the platform-specific range of times, anexn:fail:contractexception is raised.