From 1ddceece8f9af8bd624dbd8089ae8c4cfe4af6c3 Mon Sep 17 00:00:00 2001 From: Christian Dywan Date: Tue, 7 Apr 2009 02:39:11 +0200 Subject: [PATCH] Adjust mouse wheel zooming to do the same as keyboard shortcuts --- midori/midori-view.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/midori/midori-view.c b/midori/midori-view.c index 4c6fcf5e..e2608a49 100644 --- a/midori/midori-view.c +++ b/midori/midori-view.c @@ -866,9 +866,11 @@ gtk_widget_scroll_event_cb (WebKitWebView* web_view, if (event->state & GDK_CONTROL_MASK) { if (event->direction == GDK_SCROLL_DOWN) - webkit_web_view_zoom_out (WEBKIT_WEB_VIEW (web_view)); + midori_view_set_zoom_level (view, + midori_view_get_zoom_level (view) - 0.25f); else if(event->direction == GDK_SCROLL_UP) - webkit_web_view_zoom_in (WEBKIT_WEB_VIEW (web_view)); + midori_view_set_zoom_level (view, + midori_view_get_zoom_level (view) + 0.25f); return TRUE; } else