From 388740c7f865a74caefda6ddfe4a45d1ceeffedc Mon Sep 17 00:00:00 2001
From: Neil Jenkins <neilj@opera.com>
Date: Thu, 1 Nov 2012 18:14:10 +1100
Subject: [PATCH] Fix bug in cut in Safari

* Safari 6 modifies the selection when bookmarking it. Ensure it is restored
  before the cut takes place.
---
 source/Editor.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/source/Editor.js b/source/Editor.js
index e40f4ee..0714836 100644
--- a/source/Editor.js
+++ b/source/Editor.js
@@ -1196,6 +1196,7 @@
         var range = getSelection();
         recordUndoState( range );
         getRangeAndRemoveBookmark( range );
+        setSelection( range );
         setTimeout( afterCut, 0 );
     }, false );