paste_text
Description:
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)
Parameters:
this |
a Terminal |
text |
a string to paste |