Display.getWorkArea

Returns the work area, an EWMH property to store the size and position of the screen not covered by dock and panel windows. See http://freedesktop.org/Standards/wm-spec.

class Display
getWorkArea
(
)

Meta