proper keybindings in gtk