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)