X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=libchimara%2Fpager.c;h=652a70dd411fe7948bd35a76623eefc795937f91;hb=0cc686dee7c3d71457b409a097fbc7435709429a;hp=c88ab63630c3918478e7c1d75027af4a85307175;hpb=cc4186fe38c106de9251dba5d09660e4a1c2e004;p=projects%2Fchimara%2Fchimara.git diff --git a/libchimara/pager.c b/libchimara/pager.c index c88ab63..652a70d 100644 --- a/libchimara/pager.c +++ b/libchimara/pager.c @@ -32,8 +32,10 @@ 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\n", endpos.y - pagerpos.y); + 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; @@ -43,9 +45,8 @@ move_pager_and_get_scroll_distance(GtkTextView *textview, gint *view_height, gin static void start_paging(winid_t win) { - printf("Start paging\n"); win->currently_paging = TRUE; - g_signal_handler_unblock(win->widget, win->pager_expose_handler); + gtk_widget_show(win->pager); g_signal_handler_unblock(win->widget, win->pager_keypress_handler); } @@ -53,58 +54,11 @@ start_paging(winid_t win) static void stop_paging(winid_t win) { - printf("Stop paging\n"); win->currently_paging = FALSE; - g_signal_handler_block(win->widget, win->pager_expose_handler); + gtk_widget_hide(win->pager); g_signal_handler_block(win->widget, win->pager_keypress_handler); } -/* Check whether paging should be done. This function is called inside the - * idle handler, after the textview has finished updating. */ -gboolean -pager_check(gpointer data) -{ - - printf("pager check (idle)...\n"); - winid_t win = (winid_t) data; - - - /* 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, FALSE ); - - gdk_threads_enter(); - - if(view_height <= 1) - /* Paging is unusable when window is too small */ - return FALSE; - - if(!win->currently_paging) { - if(scroll_distance > view_height) { - start_paging(win); - /* Seriously... */ - /* COMPAT: */ -#if GTK_CHECK_VERSION(2,14,0) - gdk_window_invalidate_rect(gtk_widget_get_window(win->widget), NULL, TRUE); -#else - gdk_window_invalidate_rect(win->widget->window, NULL, TRUE); -#endif - } - else if(scroll_distance > 0) { - if(win->input_request_type != INPUT_REQUEST_NONE) { - GtkTextBuffer *buffer = gtk_text_view_get_buffer(GTK_TEXT_VIEW(win->widget)); - GtkTextMark *end = gtk_text_buffer_get_mark(buffer, "end_position"); - - gtk_text_view_scroll_mark_onscreen(GTK_TEXT_VIEW(win->widget), end); - } - } - } - gdk_threads_leave(); - - /* Returning FALSE to prevent this function from being called multiple times */ - return FALSE; -} - /* When the user scrolls up in a textbuffer, start paging. */ void pager_after_adjustment_changed(GtkAdjustment *adj, winid_t win) @@ -126,95 +80,77 @@ pager_after_adjustment_changed(GtkAdjustment *adj, winid_t win) gboolean pager_on_key_press_event(GtkTextView *textview, GdkEventKey *event, winid_t win) { - GtkAdjustment *adj = gtk_scrolled_window_get_vadjustment( GTK_SCROLLED_WINDOW(win->frame) ); - gdouble step_increment, page_size, upper, lower, value; + GtkAdjustment *adj = gtk_scrolled_window_get_vadjustment( GTK_SCROLLED_WINDOW(win->scrolledwindow) ); + gdouble page_size, upper, lower, value; g_object_get(adj, "page-size", &page_size, - "step-increment", &step_increment, "upper", &upper, "lower", &lower, "value", &value, NULL); switch (event->keyval) { - case GDK_space: case GDK_KP_Space: case GDK_Page_Down: case GDK_KP_Page_Down: + case GDK_KEY_space: case GDK_KEY_KP_Space: + 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)); return TRUE; - case GDK_Page_Up: case GDK_KP_Page_Up: + case GDK_KEY_Page_Up: case GDK_KEY_KP_Page_Up: gtk_adjustment_set_value(adj, CLAMP(value - page_size, lower, upper - page_size)); return TRUE; - case GDK_Return: case GDK_KP_Enter: - gtk_adjustment_set_value(adj, CLAMP(value + step_increment, lower, upper - page_size)); - return TRUE; /* don't handle "up" and "down", they're used for input history */ } return FALSE; /* if the key wasn't handled here, pass it to other handlers */ } -/* Draw the "more" prompt on top of the buffer, after the regular expose event has run */ -gboolean -pager_on_expose(GtkTextView *textview, GdkEventExpose *event, winid_t win) +/* Check whether paging should be done. This function is called after the + * textview has finished validating text positions. */ +void +pager_after_size_allocate(GtkTextView *textview, GdkRectangle *allocation, winid_t win) { - /* Calculate the position of the 'more' tag */ - gint promptwidth, promptheight; - pango_layout_get_pixel_size(win->pager_layout, &promptwidth, &promptheight); - - gint winx, winy, winwidth, winheight; - gdk_window_get_position(event->window, &winx, &winy); - gdk_drawable_get_size(GDK_DRAWABLE(event->window), &winwidth, &winheight); - - /* Draw the 'more' tag */ - GdkGC *context = gdk_gc_new(GDK_DRAWABLE(event->window)); - gdk_draw_layout(event->window, context, - winx + winwidth - promptwidth, - winy + winheight - promptheight, - win->pager_layout); - - return FALSE; /* Propagate event further */ -} - -gboolean -pager_after_expose_event(GtkTextView *textview, GdkEventExpose *event, winid_t win) -{ - printf("pager check (expose)...\n"); - g_idle_add(pager_check, win); - -// /* 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, FALSE ); -// -// if(view_height <= 1) -// /* Paging is unusable when window is too small */ -// return FALSE; -// -// if(!win->currently_paging) { -// if(scroll_distance > view_height) { -// start_paging(win); -// /* Seriously... */ -// /* COMPAT: */ -//#if GTK_CHECK_VERSION(2,14,0) -// gdk_window_invalidate_rect(gtk_widget_get_window(win->widget), NULL, TRUE); -//#else -// gdk_window_invalidate_rect(win->widget->window, NULL, TRUE); -//#endif -// } -// else if(scroll_distance > 0) { -// if(win->input_request_type != INPUT_REQUEST_NONE) { -// GtkTextBuffer *buffer = gtk_text_view_get_buffer(GTK_TEXT_VIEW(win->widget)); -// GtkTextMark *end = gtk_text_buffer_get_mark(buffer, "end_position"); -// -// gtk_text_view_scroll_mark_onscreen(GTK_TEXT_VIEW(win->widget), end); -// } -// } -// } + /* 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, FALSE); - return FALSE; + if(view_height <= 1) + /* Paging is unusable when window is too small */ + return; + + /* If not in interactive mode, then just scroll to the bottom. */ + ChimaraGlk *glk = CHIMARA_GLK(gtk_widget_get_ancestor(GTK_WIDGET(textview), CHIMARA_TYPE_GLK)); + g_assert(glk); + if(!chimara_glk_get_interactive(glk)) { + GtkTextIter end; + gtk_text_buffer_get_end_iter(gtk_text_view_get_buffer(textview), &end); + gtk_text_view_scroll_to_iter(textview, &end, 0.0, TRUE, 0.0, 0.0); + return; + } + + /* Scroll past text already read by user. This is automatic scrolling, so disable the pager_ajustment_handler + * first, that acts on the belief the scolling is performed by the user. */ + GtkAdjustment *adj = gtk_scrolled_window_get_vadjustment(GTK_SCROLLED_WINDOW(win->scrolledwindow)); + g_signal_handler_block(adj, win->pager_adjustment_handler); + GtkTextBuffer *buffer = gtk_text_view_get_buffer(GTK_TEXT_VIEW(win->widget)); + GtkTextMark *pager_position = gtk_text_buffer_get_mark(buffer, "pager_position"); + gtk_text_view_scroll_to_mark(GTK_TEXT_VIEW(win->widget), pager_position, 0.0, TRUE, 0.0, 0.0); + g_signal_handler_unblock(adj, win->pager_adjustment_handler); + + if(!win->currently_paging) { + if(scroll_distance > view_height) { + start_paging(win); + gdk_window_invalidate_rect(gtk_widget_get_window(win->widget), NULL, TRUE); + } + } } void -pager_after_size_request(GtkTextView *textview, GtkRequisition *requisition, winid_t win) +pager_update(winid_t win) { - printf("pager check (size request)...\n"); - g_idle_add(pager_check, win); + GtkTextIter input_iter; + GtkTextBuffer *buffer = gtk_text_view_get_buffer(GTK_TEXT_VIEW(win->widget)); + GtkTextMark *input_position = gtk_text_buffer_get_mark(buffer, "input_position"); + GtkTextMark *pager_position = gtk_text_buffer_get_mark(buffer, "pager_position"); + gtk_text_buffer_get_iter_at_mark(buffer, &input_iter, input_position); + gtk_text_buffer_move_mark(buffer, pager_position, &input_iter); }