src/Builder4/Editor.bjs

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

diff --git a/src/Builder4/Editor.vala b/src/Builder4/Editor.vala
index 8db4787..a4ed0d5 100644 (file)
--- a/src/Builder4/Editor.vala
+++ b/src/Builder4/Editor.vala
@@ -60,6 +60,15 @@ public class Editor : Object
 
     // user defined functions
     public Gee.ArrayList<int> search (string txt) {
+    
+       var s = new Gtk.SourceSearchSettings();
+       
+       var sctx = new Gtk.SourceSearchContext(this.buffer,s);
+       sctx.set_highlight(true);
+       s.set_search_text(txt);
+       
+    
+    
        var ret =  new Gee.ArrayList<int>();
     
        var str = this.buffer.toString();