IDLE: Menu fonts too small

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

IDLE の run.py と、報告で言及されている .idlerc/config-main.cfg オプションから始め、次に、スケーリングの背景についてリンクされている Discourse の議論を確認してください。Linux でメニューのフォントサイズを正しくする、または設定可能にするための保守しやすい方法を決定し、システムフォントを拡大したときに表示されるメニューフォントが小さすぎなくなっていることを検証してください。