commit 2485f1fa6128e47829c91a65c80be4fa20972d3f parent 9193045b29cc690980f7e1f84311e8e729b66873 Author: Colin Leroy <colin@colino.net> Date: Mon, 15 Oct 2018 21:15:05 +0200 PDF Viewer: handle Ctrl+scroll for zooming Diffstat:
| M | src/plugins/pdf_viewer/poppler_viewer.c | | | 10 | ++++++++++ |
1 file changed, 10 insertions(+), 0 deletions(-)
diff --git a/src/plugins/pdf_viewer/poppler_viewer.c b/src/plugins/pdf_viewer/poppler_viewer.c @@ -1109,6 +1109,16 @@ static gboolean pdf_viewer_scroll_cb(GtkWidget *widget, GdkEventScroll *event, in_scroll_cb = TRUE; + if ((event->state & GDK_CONTROL_MASK) == GDK_CONTROL_MASK) { + if (event->direction == GDK_SCROLL_UP) { + pdf_viewer_button_zoom_in_cb(NULL, viewer); + } else { + pdf_viewer_button_zoom_out_cb(NULL, viewer); + } + in_scroll_cb = FALSE; + return TRUE; + } + if (event->direction == GDK_SCROLL_UP && gtk_adjustment_get_value(adj) == gtk_adjustment_get_lower(adj) && cur_p > 1) {