Community
Participate
Working Groups
Steps to reproduce: 1) Create a new text editor with arbitrary input: foo.txt ======= bar baz zonk 2) Select some text and copy it to clipboard 3) Paste the text into the file bar bazbaz zonk 4) Undo -> Editor is clean 5) Paste again 6) Undo -> Editor is still dirty The problem is probably org.eclipse.text.undo.DocumentUndoManager.processChange(int, int, String, String, long, long)#1080 The undoModificationStamp should be the beforeChangeModificationStamp but it is set to the afterChangeModificationStamp.
Not sure this is the right fix. At least our org.eclipse.text.tests.DocumentUndoManagerTest fails.
*** This bug has been marked as a duplicate of bug 127489 ***