Version 0 of font scaling

Updated 2003-02-27 02:24:39

MGS Dynamically changing the tk scaling value does not seem to affect existing widgets or fonts. However, you can 'update' named fonts by doing:

 foreach font [font names] {
   eval font configure $font [font actual $font]
 }