From 6ffd89dcf2494e2264b256e473d47fd97d147683 Mon Sep 17 00:00:00 2001
From: josh giesbrecht <josh@thoughtlost.org>
Date: Sun, 2 Jun 2013 22:21:37 -0700
Subject: [PATCH] re-adding caretUndoStack.push() and caretRedoStack.clear()
 calls to fix bug #707

---
 app/src/processing/app/Editor.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
index cfbe5931e..f0dfe17b2 100644
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@@ -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;