diff --git a/lib/ace/editor.js b/lib/ace/editor.js index ad86e803..d2e1725f 100644 --- a/lib/ace/editor.js +++ b/lib/ace/editor.js @@ -39,7 +39,6 @@ var useragent = require("./lib/useragent"); var TextInput = require("./keyboard/textinput").TextInput; var MouseHandler = require("./mouse/mouse_handler").MouseHandler; var FoldHandler = require("./mouse/fold_handler").FoldHandler; -//var TouchHandler = require("./touch_handler").TouchHandler; var KeyBinding = require("./keyboard/keybinding").KeyBinding; var EditSession = require("./edit_session").EditSession; var Search = require("./search").Search; @@ -74,12 +73,8 @@ var Editor = function(renderer, session) { this.keyBinding = new KeyBinding(this); // TODO detect touch event support - if (useragent.isIPad) { - //this.$mouseHandler = new TouchHandler(this); - } else { - this.$mouseHandler = new MouseHandler(this); - new FoldHandler(this); - } + this.$mouseHandler = new MouseHandler(this); + new FoldHandler(this); this.$blockScrolling = 0; this.$search = new Search().set({ diff --git a/lib/ace/scrollbar.js b/lib/ace/scrollbar.js index 7ee4da6f..edb37ea9 100644 --- a/lib/ace/scrollbar.js +++ b/lib/ace/scrollbar.js @@ -123,7 +123,7 @@ var ScrollBar = function(parent) { * Sets the scroll top of the scroll bar. * **/ - // TODO: on chrome 17+ after for small zoom levels after this function + // TODO: on chrome 17+ for small zoom levels after calling this function // this.element.scrollTop != scrollTop which makes page to scroll up. this.setScrollTop = function(scrollTop) { this.element.scrollTop = scrollTop;