GNOME Bugzilla – Bug 157658
File->Save menu sensitivity
Last modified: 2007-08-07 16:20:27 UTC
Probably the menu should be insensitive when the document has no changes.
(note: I do not hold a strong opinion on the issue, so I'm not goint to argue much about it) However I don't think it should be insensitive since the file may have been deleted/changed outside of the program and you want to be sure to save to disk what you see on the screen... of course one may argue that we should monitor external changes and notify the user about them: that's indeed true and there is another bug open about it :) Apart from that, I see no harm in having the save item always sensitive: even if not particularly useful saving is an operation that applies even if the document has no changes. I know a lot of people (myself included) that save from time to time just because they are used to it. If you couple this with the fact that the visual feedback that shows if a document is modified (the * near the filename) is not that evident and a lot of people never noticed it, I fear that having "save" insensitive may be confusing. Last but not least I think this issue should be first discussed in the HIG since it is not specific to gedit, but applies to all the apps which allow editing.
We already discussed this issue two years ago. See bug #87172.
Closing as NOTABUG
OK, I dont have a strong opinion either. I was mainly forwarding a Red Hat bug.
*** Bug 158271 has been marked as a duplicate of this bug. ***
*** Bug 463786 has been marked as a duplicate of this bug. ***