re-adding caretUndoStack.push() and caretRedoStack.clear() calls to fix

bug #707
This commit is contained in:
josh giesbrecht
2013-06-02 22:21:37 -07:00
parent e25eb50c89
commit 6ffd89dcf2

View File

@@ -1409,6 +1409,8 @@ public abstract class Editor extends JFrame implements RunnerListener {
if (compoundEdit != null) {
compoundEdit.end();
undo.addEdit(compoundEdit);
caretUndoStack.push(textarea.getCaretPosition());
caretRedoStack.clear();
undoAction.updateUndoState();
redoAction.updateRedoState();
compoundEdit = null;