IDLE: Menu fonts too small

[MaxwellDupre]

Bug report

Bug description:

Pythons native idle menu fonts are too small when up scaling system fonts.
See Discourse topic.

What I think would be good is a config menu option for changing the menu font size, failing that a config option in
.idlerc/config-main.cfg
Fixing the scaling in run.py with
font['size'] = round(-0.75*size)
seems like a dirty hack and somewhat arbitrary and does not fix it for me.

CPython versions tested on:

3.12

Operating systems tested on:

Linux

[terryjreedy]

This is a tkinter/tk/OS issue. As I mentioned on Discourse, discussion on Stackoverflow indicates that the conventional wisdom is that changing menu font is not possible. On the other hand, the OP claimed that putting the change option in the 'wrong' place worked (on what I believe is GNU-compiled python). I plan to test on Windows and macOS.

PS: run.py only runs user code, in a separate process, and has nothing to do with the IDLE GUI itself, in the main process.