[patch] patch that seems to be the real fix

fix-scrolling.patch (text/plain), 1.25 KB, created by Rafał Mużyło on 2009-03-20 02:22:50 UTC

--- MainView.cxx.old	2009-02-28 22:00:55.000000000 +0100
+++ MainView.cxx	2009-03-20 03:12:10.000000000 +0100
@@ -77,7 +77,7 @@
 static void main_window_zoom_out_cb (GtkWidget *, gpointer);
 static void main_window_zoom_width_cb (GtkToggleAction *, gpointer);
 static void main_window_set_page_mode (GtkRadioAction *, GtkRadioAction *, gpointer);
-static void main_window_page_scrolled_cb (GtkWidget *widget, GdkEventScroll *event, gpointer data);
+static gboolean main_window_page_scrolled_cb (GtkWidget *widget, GdkEventScroll *event, gpointer data);
 
 #if defined (HAVE_CUPS)
 static void main_window_print_cb (GtkWidget *, gpointer);
@@ -1479,18 +1479,19 @@
     pter->setPageMode (mode);
 }
 
-void 
+gboolean
 main_window_page_scrolled_cb (GtkWidget *widget, GdkEventScroll *event, gpointer data)
 {
     g_assert ( NULL != data && "The data parameter is NULL.");
 
     MainPter *pter = (MainPter *)data;
     // Only zoom when the CTRL-Button is down...
-    if ( !(event->state & GDK_CONTROL_MASK) ) return;
+    if ( !(event->state & GDK_CONTROL_MASK) ) return FALSE;
     if ( event->direction == GDK_SCROLL_UP ) {
         pter->zoomInActivated ();
     } else if ( event->direction == GDK_SCROLL_DOWN ) {
         pter->zoomOutActivated ();
     }
+    return TRUE;
 }