Hey, a “small detail”: 2019-09-03 22:44 UTC+02:00, Georges Basile Stavracas Neto via gnome-i18n <gnome-i18n@gnome.org>: > 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 : arnaud.bona...@gmail.com _______________________________________________ gnome-i18n mailing list gnome-i18n@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-i18n