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