<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Feb 29, 2012, at 17:06, Bryan Oakley wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><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's the correct way to change the font size? &nbsp;The "Change" button isn't doing what I thought it would. &nbsp;The font changes size, but turns into some proportional font. &nbsp;I'm kinda new (1 day) to using TkFixedFont and its friends. &nbsp;I'm used to ("Monoco", 9) sort of stuff and I'm not sure I understand what's going on.</blockquote>
<div><br></div><div>The best way is to use a named font. With that you can do 'myfont.configure(size=new_size)'. Then, every widget that uses that font will automatically see the change.</div><div><br></div><div dir="ltr">
For more information see &nbsp;<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>
</blockquote></div><br><div>Thanks Bryan. &nbsp;That was the kick-in-the-pants that I needed to Do The Right Thing. &nbsp;It looks like it's going to work out quite well.</div><div><br></div><div>Bob</div><div><br></div></body></html>