src/Builder4/Editor.bjs
[app.Builder.js] / src / Builder4 / Editor.vala
index 8a50e6f..d615af2 100644 (file)
@@ -67,8 +67,7 @@ public class Editor : Object
         }
         
         
-        
-        
+       
        
          
          var str = _this.buffer.toString();
@@ -98,6 +97,17 @@ public class Editor : Object
         
         return true;
     
+    }
+    public void scroll_to_line (int line) {
+         var buf = this.view.el.get_buffer();
+     
+        var sbuf = (Gtk.SourceBuffer) buf;
+    
+    
+       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);
+       
     }
     public   void show (JsRender.JsRender file, JsRender.Node? node, string ptype, string key)
     {