Fix the global hide window binding to work with shifted keys

This commit is contained in:
Stephen Boddy 2017-02-01 08:53:31 +01:00
parent 1f2ec6df18
commit eaaac416f8

View File

@ -127,7 +127,7 @@ class Window(Container, Gtk.Window):
if display_manager() == 'X11':
try:
self.hidebound = Keybinder.bind(
self.config['keybindings']['hide_window'],
self.config['keybindings']['hide_window'].replace('<Shift>',''),
self.on_hide_window)
except (KeyError, NameError):
pass