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();
+
+ var s = new Gtk.SourceSearchSettings();
+ var buf = (Gtk.SourceBuffer) this.sourceview.el.get_buffer();
+ this.sourcecontext = new Gtk.SourceSearchContext(buf,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)
{