On Sun, 25 Jan 2009 17:18:45 +0100 Enrico Tröger enrico.troeger@uvena.de wrote:
settings option ("Disable save if document unchaged") to toggle between the two would seem the ideal way to handle this.
Sigh. Yet another option. If we add something like this, I'd prefer it to be a hidden option as it will be probably unlikely that many people will use it.
I think this behaviour can be implemented in plugin. Hook open/save and set changed flag for each document.