EWMH spec _NET_CLIENT_LIST implicit SHOULD vs MUST

[Sparr]

> These arrays contain all X Windows managed by the Window Manager.
_NET_CLIENT_LIST has initial mapping order, starting with the oldest
window. _NET_CLIENT_LIST_STACKING has bottom-to-top stacking order. These
properties SHOULD be set and updated by the Window Manager.

We have a SHOULD on setting and updating the properties, but no SHOULD or
MUST on the descriptions of the contents of the arrays. In an argument
elsewhere about window manager behavior I noted that some window managers
use _NET_CLIENT_LIST_STACKING to hold a list of windows in recently focused
order rather than stacking order, which is a use case considered and
discarded for _NET_CLIENT_LIST_FOCUS 20 years ago. If there was a SHOULD on
the description of the array contents then this behavior might not be a
violation of the spec.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.freedesktop.org/archives/xdg/attachments/20190126/71f6311a/attachment.html>