allow to press Shift + a letter to enable roster filter. Fixes #7136
This commit is contained in:
parent
07b8d1a358
commit
f1e6689231
|
@ -3412,9 +3412,9 @@ class RosterWindow:
|
||||||
elif type_ == 'agent':
|
elif type_ == 'agent':
|
||||||
self.on_remove_agent(widget, list_)
|
self.on_remove_agent(widget, list_)
|
||||||
|
|
||||||
elif not (event.state & (gtk.gdk.SHIFT_MASK | gtk.gdk.CONTROL_MASK | \
|
elif not (event.state & (gtk.gdk.CONTROL_MASK | gtk.gdk.MOD1_MASK)) and\
|
||||||
gtk.gdk.MOD1_MASK)) and gtk.gdk.keyval_to_unicode(event.keyval):
|
gtk.gdk.keyval_to_unicode(event.keyval):
|
||||||
# if we got unicode symbol without ctrl / shift / alt
|
# if we got unicode symbol without ctrl / alt
|
||||||
num = gtk.gdk.keyval_to_unicode(event.keyval)
|
num = gtk.gdk.keyval_to_unicode(event.keyval)
|
||||||
self.enable_rfilter(unichr(num))
|
self.enable_rfilter(unichr(num))
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue