move_child


Description:

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

Updates the position of a child, as for add_child_in_window.

Parameters:

this

a TextView

child

child widget already added to the text view

xpos

new X position in window coordinates

ypos

new Y position in window coordinates




2022 vala-language.org