From e46d4201fe610cf3b6d2ca9c2ebd2158a8820710 Mon Sep 17 00:00:00 2001
From: Joe Cheng <joe@rstudio.org>
Date: Mon, 24 Oct 2011 10:47:41 -0700
Subject: [PATCH] Don't emit Paste event on indent

---
 lib/ace/editor.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/ace/editor.js b/lib/ace/editor.js
index ed6611dc..e51b3728 100644
--- a/lib/ace/editor.js
+++ b/lib/ace/editor.js
@@ -792,7 +792,7 @@ var Editor =function(renderer, session) {
                 indentString = lang.stringRepeat(" ", count);
             } else
                 indentString = "\t";
-            return this.onTextInput(indentString);
+            return this.onTextInput(indentString, true);
         }
     };