src/Builder4/Editor.bjs
[app.Builder.js] / src / Builder4 / Editor.vala
index 9ff8682..a984fc2 100644 (file)
@@ -120,9 +120,12 @@ public class Editor : Object
        var s = new Gtk.SourceSearchSettings();
        
        this.sourcecontext = new Gtk.SourceSearchContext(this.buffer.el,s);
-       sctx.set_highlight(true);
+       this.sourcecontext .set_highlight(true);
        s.set_search_text(txt);
-       return this.sourcecontext.get_occurences_count();
+       return this.sourcecontext.get_occurrences_count();
+    
+     
+       
     
     }
     public   void show (JsRender.JsRender file, JsRender.Node? node, string ptype, string key)