Dock icon setting in Preferences (osx)