src/Builder4/Editor.bjs
[app.Builder.js] / src / Builder4 / Editor.vala
index cff5e50..3f9f96a 100644 (file)
@@ -100,7 +100,7 @@ public class Editor : Object
     }
     public void scroll_to_line (int line) {
     
-       GLib.Timeout.add(1000, () => {
+       GLib.Timeout.add(100, () => {
        
                var buf = this.view.el.get_buffer();
     
@@ -109,7 +109,8 @@ public class Editor : Object
     
                Gtk.TextIter iter;   
                sbuf.get_iter_at_line(out iter,  line);
-               this.view.el.scroll_to_iter(iter,  0.1f, true, 0.0f, 0.0f);
+               this.view.el.scroll_to_iter(iter,  0.1f, true, 0.0f, 0.5f);
+               return false;
        });   
     }
     public   void show (JsRender.JsRender file, JsRender.Node? node, string ptype, string key)