Hello,
In the specs
(
http://standards.freedesktop.org/wm-spec/latest/ar01s03.html#id2568337),
it is
said that the desktop layout property should be set by the pager.
This can cause some problem when multiple pagers are used or when the
window
manager use the layout when no pager is present. See
https://bugs.kde.org/show_bug.cgi?id=105779 for an example.
IMHO, The window manager should provide the layout, the pager is just a
tool to
visualize it. Why should a pager set the layout and not the number of virtual
desktops for instance?
Thanks,
Charly
PS: i had opened a bug report at
http://bugs.freedesktop.org/show_bug.cgi?id=21927_______________________________________________
wm-spec-list mailing list
wm-spec-list@...
http://mail.gnome.org/mailman/listinfo/wm-spec-list
