TextView.moveOverlay
void moveOverlay(gtk.widget.Widget child, int xpos, int ypos)Updates the position of a child.
See gtk.text_view.TextView.addOverlay.
Parameters
child | a widget already added with gtk.text_view.TextView.addOverlay |
xpos | new X position in buffer coordinates |
ypos | new Y position in buffer coordinates |