Added user editable shortcuts (Edit Preferences)
Authored by: reynal 2003-10-31
Parent: [r243]
Child: [r245]