_NET_SHOWING_DESKTOP, per workspace vs. global

[Elijah Newren <newren math utah edu>]

Hi all,

The wording of the EWMH spec sort of implies that _NET_SHOWING_DESKTOP is
a global quantity, but a per-workspace quantity seems more natural.  We
want to switch to such a usage in Metacity and Havoc suggested I email the
list about it.

Basically, we have a patch that interprets _NET_SHOWING_DESKTOP as a
per-workspace quantity and keeps track internally of which workspaces
have it set.  When the user switches workspaces, Metacity toggles
_NET_SHOWING_DESKTOP if the showing state is different on one workspace
than the other.

Havoc did suggest that perhaps having _NET_SHOWING_DESKTOP be an array
would be a little cleaner.  That makes sense to me, but I'm lazy.
Anyway, see http://bugzilla.gnome.org/show_bug.cgi?id=142198 for the
details.


Elijah