In latest 1.3.12-1, galeon-ui.xml is gone. The shortcuts could be changed just like other gnome program. However, the change is not saved or "reloaded" when galeon is restarted. Should I submit a bug on this? Thanks, Jack