Fix: osx shortcuts.
Small adjustments in the settings dialog.