[phenixbb] suggested change to OS X GUI ?

Dear Nate, Not a major problem, but would you consider changing the keyboard shortcut for "View all settings..." from command-A to option-command-A? I keep typing command-A to select all which is the usual binding for this key. Thanks, Mark