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