From a12f6905a537413f9b191ce3bfe76bf59a12e5cc Mon Sep 17 00:00:00 2001
From: Neil Jenkins <neilj@opera.com>
Date: Fri, 8 Mar 2013 13:25:56 +1100
Subject: [PATCH] Always call setSelection after bookmarking.

IE and Safari 5 loses the selection during the bookmarking process, so we must
always explicitly reset the selection after recording an undo state (which adds
a bookmark).
---
 source/Editor.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/source/Editor.js b/source/Editor.js
index c7bf700..a02e9ff 100644
--- a/source/Editor.js
+++ b/source/Editor.js
@@ -1689,6 +1689,7 @@
                 if ( !notWS.test( text.charAt( range.startOffset - 1 ) ) ) {
                     recordUndoState( range );
                     getRangeAndRemoveBookmark( range );
+                    setSelection( range );
                 }
                 setTimeout( afterDelete, 0 );
             }
@@ -1741,6 +1742,7 @@
                 if ( !notWS.test( text.charAt( range.startOffset ) ) ) {
                     recordUndoState( range );
                     getRangeAndRemoveBookmark( range );
+                    setSelection( range );
                 }
                 setTimeout( afterDelete, 0 );
             }