[anjuta-extras] scintilla: Explicitly set GDK_SCROLL_MASK as recent gtk+ versions require it for scrolling to work

[Sebastien Granjoux <sgranjoux src gnome org>]

commit 6cf8afbbcdd4ed68b3cec71e29d9cf7395e9f85e
Author: SÃbastien Granjoux <seb sfo free fr>
Date:   Sat Mar 10 21:39:19 2012 +0100

    scintilla: Explicitly set GDK_SCROLL_MASK as recent gtk+ versions require it for scrolling to work

 plugins/scintilla/scintilla/gtk/ScintillaGTK.cxx   |    1 +
 .../scintilla/patches/scintilla-scroll-mask.diff   |   10 ++++++++++
 2 files changed, 11 insertions(+), 0 deletions(-)
---
diff --git a/plugins/scintilla/scintilla/gtk/ScintillaGTK.cxx b/plugins/scintilla/scintilla/gtk/ScintillaGTK.cxx
index b7d3fd2..4bb46cc 100644
--- a/plugins/scintilla/scintilla/gtk/ScintillaGTK.cxx
+++ b/plugins/scintilla/scintilla/gtk/ScintillaGTK.cxx
@@ -719,6 +719,7 @@ void ScintillaGTK::Initialise() {
 #endif
 	gtk_widget_set_events(PWidget(wMain),
 	                      GDK_EXPOSURE_MASK
+	                      | GDK_SCROLL_MASK
 	                      | GDK_STRUCTURE_MASK
 	                      | GDK_KEY_PRESS_MASK
 	                      | GDK_KEY_RELEASE_MASK
diff --git a/plugins/scintilla/scintilla/patches/scintilla-scroll-mask.diff b/plugins/scintilla/scintilla/patches/scintilla-scroll-mask.diff
new file mode 100644
index 0000000..a3b5875
--- /dev/null
+++ b/plugins/scintilla/scintilla/patches/scintilla-scroll-mask.diff
@@ -0,0 +1,10 @@
+--- gtk/ScintillaGTK.orig.cxx	2012-03-10 21:29:43.299266688 +0100
++++ gtk/ScintillaGTK.cxx	2012-03-10 21:22:10.719873561 +0100
+@@ -719,6 +719,7 @@
+ #endif
+ 	gtk_widget_set_events(PWidget(wMain),
+ 	                      GDK_EXPOSURE_MASK
++	                      | GDK_SCROLL_MASK
+ 	                      | GDK_STRUCTURE_MASK
+ 	                      | GDK_KEY_PRESS_MASK
+ 	                      | GDK_KEY_RELEASE_MASK