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))