Proposal: _NET_WM_STATE_MINIMIZED

[Elijah P Newren <newren math utah edu>]

Hi,

The wm-spec has a _NET_WM_STATE_HIDDEN type, but as it says, "
_NET_WM_STATE_HIDDEN is a function of some other aspect of the window such
as minimization, rather than an independent state."  This means, for
example, that the tasklist on the gnome-panel can't know whether a window
is shaded or minimized (because _NET_WM_STATE_HIDDEN is set in both
cases).  This causes a problem with trying to disable non-sensical actions
for the tasklist (http://bugzilla.gnome.org/show_bug.cgi?id=122640).

To fix this I propose to add _NET_WM_STATE_MINIMIZED to the spec.  I've
attached a patch for the spec's xml file.

Does this sound reasonable?

Thanks,
Elijah

Index: wm-spec.xml
===================================================================
RCS file: /cvs/icccm-extensions/wm-spec/wm-spec.xml,v
retrieving revision 1.11
diff -u -r1.11 wm-spec.xml
--- wm-spec.xml	2 Jun 2004 11:26:51 -0000	1.11
+++ wm-spec.xml	16 Jun 2004 04:07:03 -0000
@@ -1020,6 +1020,7 @@
 _NET_WM_STATE_ABOVE, ATOM
 _NET_WM_STATE_BELOW, ATOM
 _NET_WM_STATE_DEMANDS_ATTENTION, ATOM
+_NET_WM_STATE_MINIMIZED, ATOM
 ]]></programlisting>
       <para>
 An implementation MAY add new atoms to this list. Implementations
@@ -1071,9 +1072,9 @@
         </para>
 <para>
 Implementation note: if an Application asks to toggle
-_NET_WM_STATE_HIDDEN the Window Manager should probably just ignore
-the request, since _NET_WM_STATE_HIDDEN is a function of some other
-aspect of the window such as minimization, rather than an independent
+_NET_WM_STATE_HIDDEN the Window Manager should ignore the request,
+since _NET_WM_STATE_HIDDEN is a function of some other aspect of the
+window (such as minimization or shading), rather than an independent
 state.
 </para>
 	<para>
@@ -1106,6 +1107,9 @@
 the Window Manager. It should be unset by the Window Manager when it decides
 the window got the required attention (usually, that it got activated).
 	</para>
+	<para>
+_NET_WM_STATE_MINIMIZED indicates that the window is minimized.
+	</para>
 
 	<para>
 To change the state of a mapped window, a Client MUST send a _NET_WM_STATE