Terminal.pasteClipboard

Sends the contents of the GDK_SELECTION_CLIPBOARD selection to the terminal's child. It's called on paste menu item, or when user presses Shift+Insert.

class Terminal
void
pasteClipboard
()