changeset 0c957cef7537 in /home/hg/repos/gajim
details:http://hg.gajim.org/gajim?cmd=changeset;node=0c957cef7537
description: don't enable roster filter when we press a unicode key with alt,
control or shift (like Ctrl+i)
diffstat:
src/roster_window.py | 4 +++-
1 files changed, 3 insertions(+), 1 deletions(-)
diffs (14 lines):
diff -r 2aaa268a776f -r 0c957cef7537 src/roster_window.py
--- a/src/roster_window.py Sun Apr 08 12:29:57 2012 +0200
+++ b/src/roster_window.py Sun Apr 08 17:32:45 2012 +0200
@@ -3412,7 +3412,9 @@
elif type_ == 'agent':
self.on_remove_agent(widget, list_)
- elif gtk.gdk.keyval_to_unicode(event.keyval): # if we got unicode
symbol
+ elif not (event.state & (gtk.gdk.SHIFT_MASK | gtk.gdk.CONTROL_MASK | \
+ gtk.gdk.MOD1_MASK)) and gtk.gdk.keyval_to_unicode(event.keyval):
+ # if we got unicode symbol without ctrl / shift / alt
num = gtk.gdk.keyval_to_unicode(event.keyval)
self.enable_rfilter(unichr(num))
_______________________________________________
Commits mailing list
[email protected]
http://lists.gajim.org/cgi-bin/listinfo/commits
