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;
});
}
}
-
+ if (scroll) {
+ Gtk.TextIter cpos_iter;
+ buf.get_iter_at_line(out cpos_iter, start_line);
+ buf.place_cursor(cpos_iter);
+ }
+
}
public void highlightErrorsJson (string type, Json.Object obj) {
return false; // fake syntax error.
}
-
+ //Gee.HashMap<int,string> ret_x;
return p.javascriptHasErrors(
_this.main_window.windowstate,