goto line should clear selection

This commit is contained in:
Fabian Jakobs 2010-10-26 09:50:58 +02:00
commit f75a1cc786

View file

@ -774,6 +774,8 @@ var Editor = function(renderer, doc) {
this.gotoLine = function(lineNumber, row) {
this.selection.clearSelection();
this.$blockScrolling = true;
this.moveCursorTo(lineNumber-1, row || 0);
this.$blockScrolling = false;