increase scroll speed

This commit is contained in:
Fabian Jakobs 2010-10-18 19:52:52 +02:00
commit 69bcbacfb3
2 changed files with 3 additions and 3 deletions

View file

@ -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]) {

View file

@ -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);
};