[gedit-plugins] Use Gdk.ModifierType instead of Gdk.EventMask for CONTROL_MASK
- From: Jesse van den Kieboom <jessevdk src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit-plugins] Use Gdk.ModifierType instead of Gdk.EventMask for CONTROL_MASK
- Date: Tue, 7 Jun 2011 20:55:01 +0000 (UTC)
commit d0fac23ce883f3e9fcdbf73827165f81ba91c52a
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)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]