undo buffer is gone after save. I assume it's 'feature' as many windoz application behaves in that stupid way, but what got undo buffer in common with file saving!? Please DO NOT touch undo buffer after save!
The save code doesn't not touch the undo buffer, and I just tested it and can undo perfectly well after a save. What jEdit version are you running?
Ok, seems it works now. Maybe it was caused by something else etc. Unfortunately I'm unable to re-cause that situation at the moment.
Log in to post a comment.
The save code doesn't not touch the undo buffer, and I just tested it and can undo perfectly well after a save. What jEdit version are you running?
Ok, seems it works now. Maybe it was caused by something else etc. Unfortunately I'm unable to re-cause that situation at the moment.