savannah: undo does not reset "modified" status

[slavazanko]

Original: ​http://savannah.gnu.org/bugs/?13737

Submitted by:	Oswald Buddenhagen <ossi>	Submitted on:	Mon 11 Jul 2005 07:56:26 PM UTC
Category:	Editor	Severity:	3 - Normal
Status:	None	Privacy:	Public
Assigned to:	None	Open/Closed:	Open
Release:	current (CVS or snapshot)	Operating System:	All

Discussion:

Mon 11 Jul 2005 07:56:26 PM UTC, original submission:

i often accidentally do minor modifications (mostly partial escape 
sequences) which i undo of course. anyway, afterwards i still don't 
know if this was the only modification.

some considerations for the implementation:
- movements don't change the modified status, so you can't just 
check whether the undo stack is at the last file save point
- undo of changes past the last file save point must re-assert the 
modified status
- at file save points, it would make sense to stop undoing if it 
results from keyboard auto-reapeat (which can be assumed if the 
same sequence arrives (lets say) fife times within one second). 
undo will be resumed when the key is re-asserted after a pause.