> If crashing is a big concern for you, you could use a private window > property to save that state and restore it after the crash. That > doesn't need any standard defined.
That's not the point. The point is that window managers do need to be updated now and then. Do you dispute that? Mark _______________________________________________ wm-spec-list mailing list wm-spec-list@gnome.org http://mail.gnome.org/mailman/listinfo/wm-spec-list
