In the meanwhile, several tools have been developed for the management of my gnome or gnome3 desktop (gui or not gui based), but each time I need to use them I have to think about what tool to use: gnome-tweak-tool gconf-editor dconf-editor gconftool-2 gnome-session-properties ... It seems there is a tendency for creating more and more such tools. It would be very helpful for the user if such tools could be aggregated to a *homogenous* and gui based tool so I have not to think about which one to use. All comments are welcome. Kind regards -- Joachim Backes <joachim.backes@xxxxxxxxxxxxxx> http://www.rhrk.uni-kl.de/~backes
<<attachment: smime.p7s>>
-- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
