added gnome-shell hotkeys