move_overlay

Description:

public void move_overlay (Widget child, int xpos, int ypos)

Updates the position of a child.

See [method@Gtk.TextView.add_overlay].

Parameters:

this

a `GtkTextView`
child

a widget already added with [method@Gtk.TextView.add_overlay]
xpos

new X position in buffer coordinates
ypos

new Y position in buffer coordinates