Bug 6699 - Save should not flush undo stack
Summary: Save should not flush undo stack
Status: VERIFIED FIXED
Alias: None
Product: JDT
Classification: Eclipse Project
Component: UI (show other bugs)
Version: 2.0   Edit
Hardware: All All
: P3 normal (vote)
Target Milestone: 2.0 M1   Edit
Assignee: Kai-Uwe Maetzel CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: 2083
  Show dependency tree
 
Reported: 2001-12-07 18:56 EST by Erich Gamma CLA
Modified: 2002-01-16 04:52 EST (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Erich Gamma CLA 2001-12-07 18:56:59 EST
Comment 1 Johan Walles CLA 2001-12-11 08:37:26 EST 
That this bug is Windows 2000 specific, is that significant?  I would like to
see this on Linux as well.  Should I open a new bug for that?
Comment 2 Erich Gamma CLA 2001-12-11 10:24:56 EST 
the fix is not platform specific, adapted the Platform field.
Comment 3 John Arthorne CLA 2001-12-11 15:25:14 EST 
Some people point out that the local history can be used to undo past the save 
point, but the problem with this is that the granularity is not the same.  If I 
make 100 edits to a file and then save, the local history can only undo all 100 
edits atomically.  I often want to just undo the last edit or two before the 
save...  

As an alternative, flushing the undo stack on editor close seems reasonable.
Comment 4 Kai-Uwe Maetzel CLA 2001-12-12 12:31:22 EST 
Build > 20011212.