do-copy in text%
Called to copy a region of the editor 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-textdo-copystartendtimeextend?)
start: exact non-negative integer
end: exact non-negative integer
time: exact integer
extend?: booleanCopy the data from
starttoend, extending the current clipboard contexts ifextend?is not#f.See Cut and Paste for a discussion of the
timeargument. Iftimeis outside the platform-specific range of times, anexn:fail:contractexception is raised.