From: Joshua A. Andler <scislac@gm...> - 2009-10-02 21:25:02
I just wanted to inform you about a late-in-the release string change
that took place in preferences. Autosave page was renamed to save and
an option (and tooltip) were added.
>>> I agree. Attached is a patch which adds an option to the Preferences
>>> to choose between both kinds of behaviour. I renamed the "Autosave"
>>> page to "Save" and added the option there because it seemed most
>>> logical; please let me know if you disagree. I'm not sure if this
>>> patch is acceptable during freeze since in some sense it adds a
>>> feature, but I'd regard it more as a bug fix so I'm sending it anyway
>>> and leave it to the release wardens to decide.