this.node_selected = sel;
this.updateGreySelection(scroll);
+
+
+
}
public string toString () {
Gtk.TextIter s;
sbuf.remove_source_marks (start, end, null); // remove all marks..
GLib.Timeout.add(500, () => {
-
- print("RESORTING cursor to = %d\n", cpos);
+
+ print("RESORTING cursor to = %d\n", cpos);
Gtk.TextIter cpos_iter;
buf.get_iter_at_offset(out cpos_iter, cpos);
buf.place_cursor(cpos_iter);
this.el.get_vadjustment().set_value(vadj_pos);;
+
+
this.onCursorChanged();
+
+
_this.buffer.checkSyntax();
return false;
});