From 937211b42e510f000483748aedf07510c0e23fd0 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Wed, 2 Feb 2011 09:47:38 +0100
Subject: [PATCH] don't use touch handler yet

---
 lib/ace/editor.js | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/lib/ace/editor.js b/lib/ace/editor.js
index bac6dadc..826fdd4c 100644
--- a/lib/ace/editor.js
+++ b/lib/ace/editor.js
@@ -48,7 +48,7 @@ var lang = require("pilot/lang");
 var useragent = require("pilot/useragent");
 var TextInput = require("ace/keyboard/textinput").TextInput;
 var MouseHandler = require("ace/mouse_handler").MouseHandler;
-var TouchHandler = require("ace/touch_handler").TouchHandler;
+//var TouchHandler = require("ace/touch_handler").TouchHandler;
 var KeyBinding = require("ace/keyboard/keybinding").KeyBinding;
 var EditSession = require("ace/edit_session").EditSession;
 var Search = require("ace/search").Search;
@@ -65,10 +65,11 @@ var Editor =function(renderer, session) {
     this.keyBinding = new KeyBinding(this);
     
     // TODO detect touch event support
-    if (useragent.isIPad)
-        this.$mouseHandler = new TouchHandler(this);
-    else 
+    if (useragent.isIPad) {
+        //this.$mouseHandler = new TouchHandler(this);
+    } else {
         this.$mouseHandler = new MouseHandler(this);
+    }
 
     this.$selectionMarker = null;
     this.$highlightLineMarker = null;