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@gnome.org http://mail.gnome.org/mailman/listinfo/wm-spec-list
