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