Version 1 of font scaling

Updated 2003-03-22 07:12:35

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 [linsert [font actual $font] 0 font configure $font]
   }