sbuf.remove_source_marks (start, end, null); // remove all marks..
GLib.Timeout.add(500, () => {
sbuf.remove_source_marks (start, end, null); // remove all marks..
GLib.Timeout.add(500, () => {
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);;
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);;