Small change to _NET_CURRENT_DESKTOP messages?

[Elijah Newren <newren gmail com>]

Hi,

When we receive _NET_CURRENT_DESKTOP messages, we are picking a window
to focus.  We'd like to use a real timestamp for that instead of
making one up.  Would it be okay to add a timestamp field to
_NET_CURRENT_DESKTOP messages in the EWMH?  Simple one-line patch that
does so is attached...

Thanks,
Elijah

Index: wm-spec.xml
===================================================================
RCS file: /cvs/icccm-extensions/wm-spec/wm-spec.xml,v
retrieving revision 1.15
diff -p -u -r1.15 wm-spec.xml
--- wm-spec.xml	25 Jan 2005 16:55:05 -0000	1.15
+++ wm-spec.xml	16 Feb 2005 19:22:49 -0000
@@ -395,6 +395,7 @@ _NET_CURRENT_DESKTOP
   message_type = _NET_CURRENT_DESKTOP 
   format = 32
   data.l[0] = new_index
+  data.l[1] = timestamp
   other data.l[] elements = 0
 ]]></programlisting>
 	</sect2><sect2><title>_NET_DESKTOP_NAMES</title>