On Windows instead of the "Cmd" symbol for menu items, it should now say Ctrl+.
The Preferences command moves to the System menu, and its name changed to Settings.
Posted: Mon, 15 Apr 2013 12:22:27 GMT