gtk/org.gtk.gtk/TextBuffer/redo

redo

fun redo()
Content copied to clipboard

See also