TextView.moveChild
void moveChild(gtk.widget.Widget child, int xpos, int ypos)Updates the position of a child, as for [gtk.text_view.TextView.addChildInWindow].
Parameters
child | child widget already added to the text view |
xpos | new X position in window coordinates |
ypos | new Y position in window coordinates |