print("BEFORE LOAD cursor = %d\n", cpos);
- var vadj = this.el.get_vadjustment();
+ var vadj_pos = this.el.get_vadjustment().get_value();
buf.get_iter_at_offset(out cpos_iter, cpos);
buf.place_cursor(cpos_iter);
- this.el.set_vadjustment(vadj);
+ this.el.get_vadjustment().set_value(vadj_pos);;
this.onCursorChanged();
return false;
});