擅长:python、mysql、java
<p>字体大小的选择已经结束了至少15年的22。它由<code>idlelib.ConfigDialog.py</code>(或3.6中的<code>configdialog</code>)中的语句设置。大约是1000号线。在</p>
<pre><code> self.optMenuFontSize.SetMenu(('7', '8', '9', '10', '11', '12', '13',
'14', '16', '18', '20', '22'), fontSize )
</code></pre>
<p>根据需要扩展序列,例如</p>
^{pr2}$
<p>目前,每次更新时都必须重新修补。在</p>
<p>这个<a href="https://bugs.python.org/issue17642" rel="noreferrer">tracker issue</a>是关于用键或鼠标滚轮在窗口中更改字体大小的。还提到了投影的用例。既然我知道这是一个真实的问题,而不是假设的问题,我将把这个问题放在更高的优先位置。如果你告诉我你需要多大的尺寸,我可以像上面那样扩展固定列表。在</p>