Message 229323 - Python tracker

➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Content 
S1.  The top menu bar hot keys are set in EditorWindow.menu_specs.  'Options' *can* be opened, at least on Windows, with alt O O <enter> (and Format with alt O <enter>). Conflicts are definitely Not Good.  Any strong opinions on marking 'm' veras 't'?