[gedit-plugins/gnome-3-0] Use Gdk.ModifierType instead of Gdk.EventMask for CONTROL_MASK

[Ignacio Casal Quinteiro <icq src gnome org>]

commit ebac68765d7e2530dca56975c1b485788325b2f5
Author: Jesse van den Kieboom <jessevdk gnome org>
Date:   Tue Jun 7 22:54:46 2011 +0200

    Use Gdk.ModifierType instead of Gdk.EventMask for CONTROL_MASK

 plugins/commander/modules/find/finder.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/commander/modules/find/finder.py b/plugins/commander/modules/find/finder.py
index 2f87b3d..3fe8d7d 100644
--- a/plugins/commander/modules/find/finder.py
+++ b/plugins/commander/modules/find/finder.py
@@ -292,7 +292,7 @@ class Finder:
                                        'end': buf.get_iter_at_mark(self.find_result.end)})
 
                 # If there is a selection, replace it with the replacement string
-                if not bounds.start.equal(bounds.end) and (replaceall or not (modifier & Gdk.EventMask.CONTROL_MASK)):
+                if not bounds.start.equal(bounds.end) and (replaceall or not (modifier & Gdk.ModifierType.CONTROL_MASK)):
                     text = bounds.start.get_text(bounds.end)
                     repl = self.get_replace(text)