« The Window Manager SHOULD calculate this space by taking the current page minus space occupied by dock and panel windows, as indicated by the _NET_WM_STRUT or _NET_WM_STRUT_PARTIAL properties set on client windows. »
We can probably write a similar implementation that will calculate the work area on one given screen, by subtracting from the screen geometry all the strut-reserved areas of all windows on this screen.
There is an (old) interesting discussion at http:// mail.gnome. org/archives/ wm-spec- list/2004- March/msg00007. html, but unfortunately it doesn’t seem to have led to any useful addition to the EWMH specification.
According to the specification:
« The Window Manager SHOULD calculate this space by taking the current page minus space occupied by dock and panel windows, as indicated by the _NET_WM_STRUT or _NET_WM_ STRUT_PARTIAL properties set on client windows. »
We can probably write a similar implementation that will calculate the work area on one given screen, by subtracting from the screen geometry all the strut-reserved areas of all windows on this screen.