From 3da951b0ba0c9ad121c786244eaee3c8650e31a3 Mon Sep 17 00:00:00 2001
From: Dan Helfman <dan@luminotes.com>
Date: Wed, 3 Dec 2008 16:27:01 -0800
Subject: [PATCH] Fixed an Internet Explorer bug in which backspace sometimes
 didn't work, such as when backspacing an empty list element.

---
 NEWS              | 2 ++
 static/js/Wiki.js | 6 ++++--
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/NEWS b/NEWS
index 634e16e..ac7e5d4 100644
--- a/NEWS
+++ b/NEWS
@@ -7,6 +7,8 @@
  * Fixed a Chrome/Safari bug in which ending a link didn't always work.
  * Fixed a rare Chrome/Safari bug in which pressing backspace sometimes made
    the text cursor vanish.
+ * Fixed an Internet Explorer bug in which backspace sometimes didn't work,
+   such as when backspacing an empty list element.
 
 1.5.8: November 24, 2008
  * Fixed a bug that prevented notes from being automatically saved in certain
diff --git a/static/js/Wiki.js b/static/js/Wiki.js
index f2e8998..81fac2b 100644
--- a/static/js/Wiki.js
+++ b/static/js/Wiki.js
@@ -1154,8 +1154,10 @@ Wiki.prototype.editor_key_pressed = function ( editor, event ) {
   } else if ( code == 8 && editor.document.selection ) {
     var range = editor.document.selection.createRange();
     range.moveStart( "character", -1 );
-    range.text = "";
-    event.stop();
+    if ( range.text != "" ) {
+      range.text = "";
+      event.stop();
+    }
   }
 }