src/Builder4/Editor.bjs

[app.Builder.js] / src / Builder4 / Editor.vala

diff --git a/src/Builder4/Editor.vala b/src/Builder4/Editor.vala
index cff5e50..a984fc2 100644 (file)
--- a/src/Builder4/Editor.vala
+++ b/src/Builder4/Editor.vala
@@ -25,6 +25,7 @@ public class Editor : Object
     public int pos_root_y;
     public string ptype;
     public string key;
+    public Gtk.SourceSearchContext searchcontext;
     public JsRender.JsRender file;
     public bool pos;
     public bool dirty;
@@ -42,6 +43,7 @@ public class Editor : Object
         this.activeEditor = "";
         this.ptype = "";
         this.key = "";
+        this.searchcontext = null;
         this.file = null;
         this.pos = false;
         this.dirty = false;
@@ -100,7 +102,7 @@ public class Editor : Object
     }
     public void scroll_to_line (int line) {
     
-       GLib.Timeout.add(1000, () => {
+       GLib.Timeout.add(500, () => {
        
                var buf = this.view.el.get_buffer();
     
@@ -109,8 +111,22 @@ 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 int search (string txt) {
+    
+       var s = new Gtk.SourceSearchSettings();
+       
+       this.sourcecontext = new Gtk.SourceSearchContext(this.buffer.el,s);
+       this.sourcecontext .set_highlight(true);
+       s.set_search_text(txt);
+       return this.sourcecontext.get_occurrences_count();
+    
+     
+       
+    
     }
     public   void show (JsRender.JsRender file, JsRender.Node? node, string ptype, string key)
     {