From 2e8fd518a49740344a3017651f5b45a7e29b54b6 Mon Sep 17 00:00:00 2001
From: Kris Maglione <maglione.k@gmail.com>
Date: Tue, 1 Feb 2011 00:42:48 -0500
Subject: [PATCH] Fix pasting bug.

---
 common/content/editor.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/common/content/editor.js b/common/content/editor.js
index e0e99895..041349dc 100644
--- a/common/content/editor.js
+++ b/common/content/editor.js
@@ -44,7 +44,9 @@ var Editor = Module("editor", {
 
             let start = elem.selectionStart; // caret position
             let end = elem.selectionEnd;
-            elem.value = elem.value.substring(0, start) + text + elem.value.substring(end);
+            let value = elem.value.substring(0, start) + text + elem.value.substring(end);
+            elem.value = value;
+            Editor.getEditor(elem).rootElement.firstChild.textContent = value;
             elem.selectionStart = Math.min(start + (toStart ? 0 : text.length), elem.value.length);
             elem.selectionEnd = elem.selectionStart;