Message44189
Logged In: YES
user_id=431773
I'm quite willing to do more work on this. I agree with the criticisms (though I'm curious how name conflicts are presently handled for widgets when the name argument is used).
I think the best solution for getting a font from a font name is "nameToFont". This matches the existing "nameToWdg". (I'd also like to add a "nameToVar" or "nameToVariable", so one standard mechanism handles everything, but I digress).
Unfortunately, tkFont is an add-on package. I'm not sure how tk.nameToFont can be written, given that normally a tk object won't automatically have any idea about fonts.
Do you have any suggestion for handling this? Could we just start importing tkFont as a standard part of Tkinter?
|
|
Date |
User |
Action |
Args |
2007-08-23 15:28:08 | admin | link | issue764217 messages |
2007-08-23 15:28:08 | admin | create | |
|