keybindings: GTK3 improvements