// highlight the node..
}
- public void nodeSelected (JsRender.Node? sel, bool scroll =false) {
+ public void nodeSelected (JsRender.Node? sel, bool scroll ) {
}
public void loadFile ( ) {
this.loading = true;
+
+
+ // get the cursor and scroll position....
+ var buf = this.el.get_buffer();
+
+ Gtk.TextIter cpos;
+ buf.get_iter_at_offset(out cpos, buf.cursor_position);
+
+
+
+
var buf = this.el.get_buffer();
buf.set_text("",0);
var sbuf = (Gtk.SourceBuffer) buf;