src/Builder4/Editor.bjs

src/Builder4/Editor.vala

diff --git a/src/Builder4/Editor.bjs b/src/Builder4/Editor.bjs
index 8357347..6b3036d 100644 (file)
--- a/src/Builder4/Editor.bjs
+++ b/src/Builder4/Editor.bjs
@@ -1280,6 +1280,11 @@
          ],
          "| void updateSelectedLine" : [
           "(int line) {",
+          "\tif (line == this.last_selected_line) {",
+          "\t\treturn;",
+          "\t}",
+          "\tthis.last_selected_line = line;",
+          "\t",
           "\t",
           "\tvar new_row = -1;",
           "\tvar sym = _this.navliststore.symbolAtLine(line);",

diff --git a/src/Builder4/Editor.vala b/src/Builder4/Editor.vala
index cf5ee7e..e233b6c 100644 (file)
--- a/src/Builder4/Editor.vala
+++ b/src/Builder4/Editor.vala
@@ -1901,6 +1901,11 @@ public class Editor : Object
                        return rn;
                 }
                public void updateSelectedLine (int line) {
+                       if (line == this.last_selected_line) {
+                               return;
+                       }
+                       this.last_selected_line = line;
+                       
                        
                        var new_row = -1;
                        var sym = _this.navliststore.symbolAtLine(line);