--- 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; }