So rereading this thread, I believe I've been unnecessarily abrasive, and I've injected my personal opinion of these changes into what should only be a discussion of whether we should break the UI freeze. I apologize for that.
Let me try this again. http://bugzilla.gnome.org/show_bug.cgi?id=323323 http://bugzilla.gnome.org/show_bug.cgi?id=591375 http://bugzilla.gnome.org/show_bug.cgi?id=592510 These three are absolutely OK with me. They are all obvious improvements. They don't require substantive documentation work. And they have almost no chance of leading to user problems. http://bugzilla.gnome.org/show_bug.cgi?id=592756 http://bugzilla.gnome.org/show_bug.cgi?id=592759 Here is what I would like to see happen for these changes to be made after the UI freeze: 1) Make the necessary changes to the User Guide. Matthias already pointed out where the changes need to be made. 2) Look through our other documentation to see if any other documents are referring to these features. You can probably safely skip simple documents, like those for small games and utilities. I'd be even happier if somebody would look at some of the more comprehensive manuals outside our release, such as Gnumeric and GIMP. 3) Do a search online to see if these options are used to solve (or work around) real problems. Make a recommendation for troubleshooting topics to be written to address any such problems. I don't care who does the work. But that's what the documentation team would be facing if these changes were made. -- Shaun _______________________________________________ gnome-i18n mailing list gnome-i18n@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-i18n