var vadj = this.el.get_vadjustment();
- var buf = this.el.get_buffer();
+
buf.set_text("",0);
var sbuf = (Gtk.SourceBuffer) buf;
sbuf.get_bounds (out start, out end);
sbuf.remove_source_marks (start, end, null); // remove all marks..
+
+ while(Gtk.events_pending()) {
+ Gtk.main_iteration();
+ }
+
Gtk.TextIter cpos_iter;
buf.get_iter_at_offset(out cpos_iter, cpos);
buf.place_cursor(cpos_iter);