On 01/24/2018 10:03 AM, Manish Jain wrote:
My last effort at the event handler is below (it is of no use, really):
void scale_moved (Gtk.Range range)
{
int i;
Gtk.TextIter iter = new Gtk. TextIter();
view.get_iter_at_position(out iter, out i, 0, 0);
iter.set_line(iter.get_line() + 10);
view.scroll_to_iter(iter, 0, false, 0, 0);
}
GtkTextView implements GtkScrollable, which means you can get a
GtkAdjustment for the vertical range.
Something like:
range.adjustment = text_view.vadjustment;
You can also just add the textview to a GtkScrolledWindow.
-- Christian
_______________________________________________
vala-list mailing list
vala-list@gnome.org
https://mail.gnome.org/mailman/listinfo/vala-list