X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=libchimara%2Fpager.c;h=18203e82486aada302747858a31b8e1765accb5c;hb=8e30ddd0b19b05528bd33688556996be0e486abc;hp=9fd2b0cbc9c656c183d972ea96340b50ce8df1b8;hpb=f6061cd6938d18e5908fbe52b0c87dc73e697e14;p=projects%2Fchimara%2Fchimara.git diff --git a/libchimara/pager.c b/libchimara/pager.c index 9fd2b0c..18203e8 100644 --- a/libchimara/pager.c +++ b/libchimara/pager.c @@ -2,6 +2,10 @@ #include "pager.h" +/* Not sure if necessary, but this is the margin within which the pager will +stop paging if it's close to the end of the text buffer */ +#define PAGER_FUZZINESS 1.0 + /* Helper function: move the pager to the last visible position in the buffer, and return the distance between the pager and the end of the buffer in buffer coordinates */ @@ -32,11 +36,6 @@ move_pager_and_get_scroll_distance(GtkTextView *textview, gint *view_height, gin gtk_text_view_get_iter_location(textview, &newpager, &pagerpos); gtk_text_view_get_iter_location(textview, &end, &endpos); - /* - g_printerr("View height = %d\n", visiblerect.height); - g_printerr("End - Pager = %d - %d = %d\n", endpos.y, pagerpos.y, endpos.y - pagerpos.y); - */ - *view_height = visiblerect.height; *scroll_distance = endpos.y - pagerpos.y; } @@ -59,6 +58,20 @@ stop_paging(winid_t win) g_signal_handler_block(win->widget, win->pager_keypress_handler); } +/* Helper function: If the adjustment is at its maximum value, stop paging */ +static void +check_paging(GtkAdjustment *adj, winid_t win) +{ + double page_size, upper, value; + g_object_get(adj, + "page-size", &page_size, + "upper", &upper, + "value", &value, + NULL); + if(value + PAGER_FUZZINESS >= upper - page_size && win->currently_paging) + stop_paging(win); +} + /* When the user scrolls up in a textbuffer, start paging. */ void pager_after_adjustment_changed(GtkAdjustment *adj, winid_t win) @@ -68,12 +81,21 @@ pager_after_adjustment_changed(GtkAdjustment *adj, winid_t win) move_pager_and_get_scroll_distance( GTK_TEXT_VIEW(win->widget), &view_height, &scroll_distance, TRUE ); if(scroll_distance > 0 && !win->currently_paging) + { start_paging(win); + return; + } else if(scroll_distance == 0 && win->currently_paging) + { stop_paging(win); - + gtk_widget_queue_draw(win->widget); + return; + } + /* Refresh the widget so that any extra "more" prompts disappear */ gtk_widget_queue_draw(win->widget); + + check_paging(adj, win); } /* Handle key press events in the textview while paging is active */ @@ -94,9 +116,11 @@ pager_on_key_press_event(GtkTextView *textview, GdkEventKey *event, winid_t win) case GDK_KEY_Page_Down: case GDK_KEY_KP_Page_Down: case GDK_KEY_Return: case GDK_KEY_KP_Enter: gtk_adjustment_set_value(adj, CLAMP(value + page_size, lower, upper - page_size)); + check_paging(adj, win); return TRUE; case GDK_KEY_Page_Up: case GDK_KEY_KP_Page_Up: gtk_adjustment_set_value(adj, CLAMP(value - page_size, lower, upper - page_size)); + check_paging(adj, win); return TRUE; /* don't handle "up" and "down", they're used for input history */ }