_NET_WORKAREA not set as required by freedesktop.org standard about herbstluftwm

[t-wissmann]

I once had _NET_WORKAREA but it caused some issues, so I removed it again in commit c9c2515

Maybe I can bring it back partially, but one needs to be careful...

[Mi605]

Many thanks @t-wissmann for looking into it.

strange problems with menus of Qt4 applications: The menu didn't appear
or appeared at a wrong position with a wrong geometry

This sounds like a bug in Qt4 to me. Your removal dates from 2012, maybe they have fixed it meanwhile? By removing _NET_WORKAREA you have solved it for Qt4, and the same time moved the issue to all applications relying on the specs to find this property set, since as you stated yourself when removing it: it's mandatory. All other window manager set it (we are running IceWM, JWM and Fluxbox alongside with HerbstluftWM by default in antiX, user can switch on the fly to what serves him best), so I wonder whether Qt4 chokes on them also...

For now we have applied a dirty workaround to detect whether the script is running on Herbstluft and added a changed calculation for this special case, asking herbstclient then instead and avoiding the division by zero this way.

Would be great to find Herbstluft compliant with freedesktop.org specs some day in future, so special treatment will be no longer needed.

Kind regards