From 00aaa7197a8e1e3d549a052385ecd2dc22f02db7 Mon Sep 17 00:00:00 2001 From: Doug Blank Date: Sun, 15 Aug 2010 20:20:39 +0000 Subject: [PATCH] Fixed bug preventing control+shift+b key presses from working in styled text editor svn: r15741 --- src/gui/widgets/styledtexteditor.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/gui/widgets/styledtexteditor.py b/src/gui/widgets/styledtexteditor.py index 370f00ee1..d1b7632b5 100644 --- a/src/gui/widgets/styledtexteditor.py +++ b/src/gui/widgets/styledtexteditor.py @@ -242,7 +242,9 @@ class StyledTextEditor(gtk.TextView): """ for accel, accel_name in self.action_accels.iteritems(): key, mod = gtk.accelerator_parse(accel) - if (event.keyval == key) and (event.state & mod): + if (((event.keyval == key) or + (event.keyval + 32 == key)) and + bool((event.state & mod) == mod)): action_name = accel_name action = self.action_group.get_action(action_name) action.activate()