[ jEdit-devel ] [Bug #112936] undo buffer gone after save

[<no...@so...>]

Bug #112936, was updated on 2000-Aug-28 06:34
Here is a current snapshot of the bug.

Project: jEdit
Category: editor core
Status: Open
Resolution: None
Bug Group: severe bug
Priority: 5
Summary: undo buffer gone after save

Details: 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!

Follow-Ups:

Date: 2000-Aug-29 01:00
By: spestov

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?
-------------------------------------------------------

For detailed info, follow this link:
http://sourceforge.net/bugs/?func=detailbug&bug_id=112936&group_id=588