set-clipboard-string in clipboard<%>

Changes the current clipboard contents to a text string and releases the current clipboard client (if any).

• (send a-clipboard set-clipboard-string new-text time) -> void
     new-text : string
     time : exact integer

  Sets the clipboard contents to new-text. 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.