Dominik wrote:Looks like the Gnome guys already fixed it, impressively fast! So probably no workaround needed. Will test that issue again with an updated Gnome.
Regards,
Dominik
Indeed! With lots of explanations I understood zero of.
However I roughly guess it will take aprox 5. years until the current gnome shell in the making will have displaced most current installations. I'll distribute a modified client to my users with the removeNotify/addNotify workaround. But I can fully understand if you don't want to clutter your codebase with workarounds which in a few years nobody will remember why they are there.
"XDG_SESSION_DESKTOP" would be a environment variable that says if GNOME is running. But getting its version would require parsing /usr/share/gnome/gnome-version.xml which sounds like overkill to me.