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 |