[phenixbb] suggested change to OS X GUI ?

[Mark Saper]

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