var s = new Gtk.SourceSearchSettings();
- this.sourcecontext = new Gtk.SourceSearchContext(this.buffer.el,s);
- sctx.set_highlight(true);
+ this.searchcontext = new Gtk.SourceSearchContext(this.buffer.el,s);
+ this.searchcontext .set_highlight(true);
s.set_search_text(txt);
- return this.sourcecontext.get_occurences_count();
+ Gtk.TextIter beg, st,en;
+
+ this.buffer.el.get_start_iter(out beg);
+ this.searchcontext.forward(beg, out st, out en);
+
+
+ return this.searchcontext.get_occurrences_count();
+
+
+
}
public void show (JsRender.JsRender file, JsRender.Node? node, string ptype, string key)