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

childa widget already added with [gtk.text_view.TextView.addOverlay]
xposnew X position in buffer coordinates
yposnew Y position in buffer coordinates