[ Version ( since = "0.68" ) ]
public void paste_text (string text)
Sends text to the terminal's child as if retrived from the clipboard, this differs from
feed_child in that it may process text before passing it to the
child (e.
g. apply bracketed mode)
| this |
a Terminal |
| text |
a string to paste |