From be33a3515f7bccfac7c49a0c443f061797aa7307 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Tue, 15 Feb 2011 07:56:15 +0100
Subject: [PATCH] some minor fixes for highlighting the selected word

---
 lib/ace/css/editor.css | 3 +++
 lib/ace/mode/text.js   | 5 ++---
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/lib/ace/css/editor.css b/lib/ace/css/editor.css
index 82401624..2d62f826 100644
--- a/lib/ace/css/editor.css
+++ b/lib/ace/css/editor.css
@@ -147,4 +147,7 @@
 .ace_marker-layer .ace_selected_word {
     position: absolute;
     z-index: 6;
+    box-sizing: border-box;
+    -moz-box-sizing: border-box;
+    -webkit-box-sizing: border-box;
 }
diff --git a/lib/ace/mode/text.js b/lib/ace/mode/text.js
index 6fc68588..d052fda8 100644
--- a/lib/ace/mode/text.js
+++ b/lib/ace/mode/text.js
@@ -120,8 +120,7 @@ var Mode = function() {
         session.$selectionOccurrences = [];
         ranges.forEach(function(range) {
             if (!range.contains(selection.start.row, selection.start.column)) {
-                var marker = editor.renderer.addMarker(range,
-                                                       "ace_selected_word");
+                var marker = session.addMarker(range, "ace_selected_word");
                 session.$selectionOccurrences.push(marker);
             }
         });
@@ -134,7 +133,7 @@ var Mode = function() {
             return;
 
         editor.session.$selectionOccurrences.forEach(function(marker) {
-            editor.renderer.removeMarker(marker);
+            editor.session.removeMarker(marker);
         });
     };