- /*
- is the cursor is between start+end...
- then assume we do not need to scroll..
-
-
-
- Gdk.Rectangle rect, target_rect, inter_rect;
- this.el.get_visible_rect(out rect);
- this.el.get_iter_location(iter, out target_rect);
-
- if (!rect.intersect(target_rect, out inter_rect)) {
-
- }
- */
- this.el.scroll_to_iter(iter, 0.1f, true, 0.0f, 0.5f);