public Rectangle get_workarea ()
Retrieves the size and position of the “work area” on a monitor within the display coordinate space.
The returned geometry is in ”application pixels”, not in ”device pixels” (see get_scale_factor).
The work area should be considered when positioning menus and similar popups, to avoid placing them below panels, docks or other desktop components.
Note that not all backends may have a concept of workarea. This function will return the monitor geometry if a workarea is not available, or does not apply.
a Rectangle to be filled with the monitor workarea