get_frame_extents

Description:

public void get_frame_extents (out Rectangle rect)

Obtains the bounding box of the window, including window manager titlebar/borders if any.

The frame position is given in root window coordinates. To get the position of the window itself (rather than the frame) in root window coordinates, use get_origin.

Parameters:

this	a toplevel Window
rect	rectangle to fill with bounding box of the window frame