Guilherme Simões added the comment: I tested the extensions in MacOS and they seem to work (even the Terminal Mode). The Options menu appear and everything seems to be fine.
The patch attached removes the Configure entry from the Options menu because this entry is already in the application menu as "Preferences". It also includes the Options menu in editor windows even without extensions, allowing the use of Code Context. ---------- keywords: +patch nosy: +Guilherme.Simões Added file: http://bugs.python.org/file29893/17532MenuOptions.patch _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue17532> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com