small fix to preferences and added the OSX key binding