Hi, > I think in the long term, the autogenerated settings managers > will be replaced with hard coded user friendly ones, this will > leave all of these extra attributes with nowhere to go.
I disagree. There are different usage models, reflected best by having different settings managers. Beginner users may want an as-simple-as-possible settings manager (such as desktop-effects), average users may want a settings manager which provides some more settings (such as gnome-compiz-manager), and there may be power users which want to tweak every single option in a Beryl settings manager style application. When discussing things like storing option descriptions and grouping we should think of _all_ possible user groups, not only our preferred usage model. Settings managers are free to ignore option information provided by the plugin (or whatever format), while it's not possible to create such information when it's simply not available. Regards, Danny _______________________________________________ compiz mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/compiz
