# HG changeset patch # User Christopher Rogers # Date 1297478209 0 # Node ID 1f20fe47a72b94b7bae5d22297eab85f94c22906 # Parent 05670187218869868653375df73b4e2944fc08f2 Added patch to fixed epdfview so mouse scrolling works. diff -r 056701872188 -r 1f20fe47a72b epdfview/receipt --- a/epdfview/receipt Fri Feb 11 22:14:53 2011 +0000 +++ b/epdfview/receipt Sat Feb 12 02:36:49 2011 +0000 @@ -16,6 +16,7 @@ compile_rules() { cd $src + patch -Np0 -i ../stuff/fix-scrolling.patch ./configure \ --prefix=/usr \ --infodir=/usr/share/info \ diff -r 056701872188 -r 1f20fe47a72b epdfview/stuff/fix-scrolling.patch --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/epdfview/stuff/fix-scrolling.patch Sat Feb 12 02:36:49 2011 +0000 @@ -0,0 +1,33 @@ +--- ./src/gtk/MainView.cxx.old 2009-02-28 22:00:55.000000000 +0100 ++++ ./src/gtk/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; + } +