From: Christian Dywan <christian@twotoasts.de>
Date: Tue, 7 Apr 2009 00:39:11 +0000 (+0200)
Subject: Adjust mouse wheel zooming to do the same as keyboard shortcuts
X-Git-Url: https://spindle.queued.net/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1ddceece8f9af8bd624dbd8089ae8c4cfe4af6c3;p=midori

Adjust mouse wheel zooming to do the same as keyboard shortcuts
---

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