start of gnome 3 keybinding fiddling