public copySelectionToClipboard() as Boolean:
Copies the current selection to the host terminal clipboard.
True when a non-empty selection was sent to the clipboard channel.
copied = view.copySelectionToClipboard()