From 2851241563787e2e712bb6431b318bf571a57137 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Tue, 4 May 2010 17:05:54 +0200
Subject: [PATCH] fix IE focus issue

---
 src/ace/Editor.js | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/ace/Editor.js b/src/ace/Editor.js
index 49362563..5a5486e4 100644
--- a/src/ace/Editor.js
+++ b/src/ace/Editor.js
@@ -9,7 +9,10 @@ ace.Editor = function(renderer, doc) {
     new ace.KeyBinding(container, this);
     var self = this;
     ace.addListener(container, "mousedown", function(e) {
-        self.focus();
+        setTimeout(function() {self.focus();});
+        return ace.preventDefault(e);
+    });
+    ace.addListener(container, "selectstart", function(e) {
         return ace.preventDefault(e);
     });
 
@@ -107,7 +110,7 @@ ace.Editor = function(renderer, doc) {
 
             var pos = self.doc.findMatchingBracket(self.getCursorPosition());
             if (pos) {
-                range = new ace.Range(pos.row, pos.column, pos.row, pos.column=1);
+                range = new ace.Range(pos.row, pos.column, pos.row, pos.column+1);
                 self.$bracketHighlight = self.renderer.addMarker(range, "bracket");
             }
         }, 10);