don't use touch handler yet

This commit is contained in:
Fabian Jakobs 2011-02-02 09:47:38 +01:00
commit 937211b42e

View file

@ -48,7 +48,7 @@ var lang = require("pilot/lang");
var useragent = require("pilot/useragent"); var useragent = require("pilot/useragent");
var TextInput = require("ace/keyboard/textinput").TextInput; var TextInput = require("ace/keyboard/textinput").TextInput;
var MouseHandler = require("ace/mouse_handler").MouseHandler; 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 KeyBinding = require("ace/keyboard/keybinding").KeyBinding;
var EditSession = require("ace/edit_session").EditSession; var EditSession = require("ace/edit_session").EditSession;
var Search = require("ace/search").Search; var Search = require("ace/search").Search;
@ -65,10 +65,11 @@ var Editor =function(renderer, session) {
this.keyBinding = new KeyBinding(this); this.keyBinding = new KeyBinding(this);
// TODO detect touch event support // TODO detect touch event support
if (useragent.isIPad) if (useragent.isIPad) {
this.$mouseHandler = new TouchHandler(this); //this.$mouseHandler = new TouchHandler(this);
else } else {
this.$mouseHandler = new MouseHandler(this); this.$mouseHandler = new MouseHandler(this);
}
this.$selectionMarker = null; this.$selectionMarker = null;
this.$highlightLineMarker = null; this.$highlightLineMarker = null;