From f75a1cc7867c6b778125681e62bfd583345d56d7 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Tue, 26 Oct 2010 09:50:58 +0200
Subject: [PATCH] goto line should clear selection

---
 src/ace/Editor.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/ace/Editor.js b/src/ace/Editor.js
index c4f5e91a..c14682cd 100644
--- a/src/ace/Editor.js
+++ b/src/ace/Editor.js
@@ -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;