commit dcab487a808b5a341627adaf99d07d994709987c parent 54a8e1084c0bbc89623e34cf4ea8adafd4553aeb 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 @@ -1107,6 +1107,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) {