Fixed the 'my editor is hungry and eats my lines'

issue.
This commit is contained in:
Eddy Bruel 2010-12-02 15:37:17 +01:00
commit 6d73a44c9a

View file

@ -64,7 +64,7 @@ var Editor =function(renderer, doc) {
return event.preventDefault(e); return event.preventDefault(e);
}); });
var mouseTarget = renderer.getMouseEventTarget(); var mouseTarget = renderer.getMouseEventTarget();
event.addListener(mouseTarget, "mousedown", lang.bind(this.onMouseDown, this)); event.addListener(mouseTarget, "mousedown", lang.bind(this.onMouseDown, this));
event.addMultiMouseDownListener(mouseTarget, 0, 2, 500, lang.bind(this.onMouseDoubleClick, this)); event.addMultiMouseDownListener(mouseTarget, 0, 2, 500, lang.bind(this.onMouseDoubleClick, this));
event.addMultiMouseDownListener(mouseTarget, 0, 3, 600, lang.bind(this.onMouseTripleClick, this)); event.addMultiMouseDownListener(mouseTarget, 0, 3, 600, lang.bind(this.onMouseTripleClick, this));
@ -454,7 +454,7 @@ var Editor =function(renderer, doc) {
indent += 1; indent += 1;
else else
break; break;
if (/[^\s]$/.test(line)) if (/[^\s]/.test(line))
minIndent = Math.min(indent, minIndent); minIndent = Math.min(indent, minIndent);
} }