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 |