/* Move the pager, etc. */
gint scroll_distance, view_height;
move_pager_and_get_scroll_distance( GTK_TEXT_VIEW(win->widget), &view_height, &scroll_distance );
/* Move the pager, etc. */
gint scroll_distance, view_height;
move_pager_and_get_scroll_distance( GTK_TEXT_VIEW(win->widget), &view_height, &scroll_distance );