/* Move the pager to the last visible character in the buffer */
gint view_height, scroll_distance;
move_pager_and_get_scroll_distance( GTK_TEXT_VIEW(win->widget), &view_height, &scroll_distance );
/* Move the pager to the last visible character in the buffer */
gint view_height, scroll_distance;
move_pager_and_get_scroll_distance( GTK_TEXT_VIEW(win->widget), &view_height, &scroll_distance );