<br><br>On Wednesday, February 29, 2012, Bob Greschke  wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">What&#39;s the correct way to change the font size?  The &quot;Change&quot; button isn&#39;t doing what I thought it would.  The font changes size, but turns into some proportional font.  I&#39;m kinda new (1 day) to using TkFixedFont and its friends.  I&#39;m used to (&quot;Monoco&quot;, 9) sort of stuff and I&#39;m not sure I understand what&#39;s going on.</blockquote>
<div><br></div><div>The best way is to use a named font. With that you can do &#39;myfont.configure(size=new_size)&#39;. Then, every widget that uses that font will automatically see the change.</div><div><br></div><div dir="ltr">
For more information see  <a href="http://www.pythonware.com/library/tkinter/introduction/x444-fonts.htm">http://www.pythonware.com/library/tkinter/introduction/x444-fonts.htm</a></div><div dir="ltr"><br></div><div dir="ltr">
Named fonts are one of the true gems of tk. They have been part of the toolkit for probably a decade or more, and still to the best of my knowledge no popular toolkit has anything as powerful and easy to use.</div>