Hey, a “small detail”: 2019-09-03 22:44 UTC+02:00, Georges Basile Stavracas Neto via gnome-i18n <[email protected]>: > Users can use dconf-editor to rename folders, but that would make for > a terrible user experience.
They cannot, there is no way to do that. Well, in fact, they can set all the things manually if they know dconf-editor as I know it, as its maintainer and main developer; but the *creation* of a folder would look impossible to most users, due to the way the settings are done (only command line allows that, more easily with `dconf` than with `gsettings`; or Software, until now at least); and there is nothing that will help them to do a *renaming*, in any way. Regards, Arnaud -- Arnaud Bonatti ________________________________ courriel : [email protected] _______________________________________________ gnome-i18n mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-i18n
