move_overlay


Description:

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

Updates the position of a child.

See [[email protected]_overlay].

Parameters:

this

a `GtkTextView`

child

a widget already added with [[email protected]_overlay]

xpos

new X position in buffer coordinates

ypos

new Y position in buffer coordinates




2022 vala-language.org