From 69bcbacfb3c162ee73986af2617e28c2c420afe0 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Mon, 18 Oct 2010 19:52:52 +0200
Subject: [PATCH] increase scroll speed

---
 src/ace/BackgroundTokenizer.js | 4 ++--
 src/ace/Editor.js              | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/ace/BackgroundTokenizer.js b/src/ace/BackgroundTokenizer.js
index 6a05b8b8..57e74f84 100644
--- a/src/ace/BackgroundTokenizer.js
+++ b/src/ace/BackgroundTokenizer.js
@@ -34,7 +34,7 @@ var BackgroundTokenizer = function(tokenizer, editor) {
             processedLines += 1;
             if ((processedLines % 5 == 0) && (new Date() - workerStart) > 20) {
                 self.fireUpdateEvent(startLine, self.currentLine-1);
-                
+
                 var timeout = self.currentLine < lastVisibleRow ? 20 : 100;
                 self.running = setTimeout(self.$worker, timeout);
                 return;
@@ -102,7 +102,7 @@ var BackgroundTokenizer = function(tokenizer, editor) {
     this.$tokenizeRows = function(firstRow, lastRow) {
         var rows = [];
 
-        // determin start state
+        // determine start state
         var state = "start";
         var doCache = false;
         if (firstRow > 0 && this.lines[firstRow - 1]) {
diff --git a/src/ace/Editor.js b/src/ace/Editor.js
index 8e640c51..c695c91b 100644
--- a/src/ace/Editor.js
+++ b/src/ace/Editor.js
@@ -344,7 +344,7 @@ var Editor = function(renderer, doc) {
     };
 
     this.onMouseWheel = function(e) {
-        this.renderer.scrollBy(e.wheelX, e.wheelY);
+        this.renderer.scrollBy(e.wheelX * 2, e.wheelY * 2);
         return event.preventDefault(e);
     };