Cheryl Sabella added the comment: Tests run on Ubuntu. The menubar is bigger now though, so it's default is different than before. Maybe that was the only way to fix it, but it's now about twice as big as the shell font.
---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue31500> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
