paste_text


Description:

[ 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)

Parameters:

this

a Terminal

text

a string to paste