Fri Jul 25 16:29:29 2003 Jonathan Blandford <jrb@redhat.com> * gnome-keybinding-properties.c (desktop_key_list): Patch from Ghee Teo to move the key bindings to the right place.