3 --- src/gtk/PageView.cxx.orig 2009-02-28 13:00:35.000000000 -0800
4 +++ src/gtk/PageView.cxx 2009-08-14 16:10:46.000000000 -0700
5 @@ -527,13 +527,6 @@ page_view_scrolled_cb (GtkWidget *widget
7 g_assert ( NULL != data && "The data parameter is NULL.");
9 - // don't scroll when the CRTL-Button is down, because then the page should
10 - // actually be zoomed and not scrolled. Zooming is handelt by the MainView
12 - if ( event->state & GDK_CONTROL_MASK )
16 PagePter *pter = (PagePter *)data;
17 GtkAdjustment *adjustment =
18 gtk_scrolled_window_get_vadjustment (GTK_SCROLLED_WINDOW (widget));