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>
_______________________________________________ wm-spec-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/wm-spec-list
