debian/midori
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Adjust mouse wheel zooming to do the same as keyboard shortcuts

Browse source
This commit is contained in:
Christian Dywan 2009-04-07 02:39:11 +02:00
parent eed273b35e
commit 1ddceece8f
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
midori/midori-view.c
View file

@ -866,9 +866,11 @@ gtk_widget_scroll_event_cb (WebKitWebView* web_view,
if (event->state & GDK_CONTROL_MASK) if (event->state & GDK_CONTROL_MASK)
{ {
if (event->direction == GDK_SCROLL_DOWN) 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) 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; return TRUE;
} }
else else