[gnome-terminal] profile editor: Fix notebook scroll event handler

[Christian Persch <chpe src gnome org>]

commit b7018889afc49ffbdb699c8e7b9c021b35916a66
Author: Christian Persch <chpe gnome org>
Date:   Thu Jan 17 14:23:50 2013 +0100

    profile editor: Fix notebook scroll event handler
    
    Only handle non-modified scroll events.

 src/profile-editor.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/src/profile-editor.c b/src/profile-editor.c
index 4adc4f0..728ea1a 100644
--- a/src/profile-editor.c
+++ b/src/profile-editor.c
@@ -490,6 +490,9 @@ scroll_event_cb (GtkWidget      *widget,
   GtkNotebook *notebook = GTK_NOTEBOOK (widget);
   GtkWidget *child, *event_widget, *action_widget;
 
+  if ((event->state & gtk_accelerator_get_default_mod_mask ()) != 0)
+    return FALSE;
+
   child = gtk_notebook_get_nth_page (notebook, gtk_notebook_get_current_page (notebook));
   if (child == NULL)
     return FALSE;