[Tkinter-discuss] Tk*Font question

Bob Greschke bob at passcal.nmt.edu
Tue Mar 6 17:46:09 CET 2012


On Feb 29, 2012, at 17:06, Bryan Oakley wrote:

> 
> 
> On Wednesday, February 29, 2012, Bob Greschke wrote:
> What's the correct way to change the font size?  The "Change" button isn't doing what I thought it would.  The font changes size, but turns into some proportional font.  I'm kinda new (1 day) to using TkFixedFont and its friends.  I'm used to ("Monoco", 9) sort of stuff and I'm not sure I understand what's going on.
> 
> 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.
> 
> For more information see  http://www.pythonware.com/library/tkinter/introduction/x444-fonts.htm
> 
> 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.

Thanks Bryan.  That was the kick-in-the-pants that I needed to Do The Right Thing.  It looks like it's going to work out quite well.

Bob

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/tkinter-discuss/attachments/20120306/b354e5db/attachment.html>


More information about the Tkinter-discuss mailing list