'From etoys4.0 of 9 October 2008 [latest update: #2319] on 30 September 2009 at 1:22 pm'! "Change Set: etoyCodeFont-Richo Date: 30 September 2009 Author: Ricardo Moran This change set changes the default etoy code font to size 15. Postscript restores the default fonts to set the new size"! !Preferences class methodsFor: 'fonts' stamp: 'Richo 9/30/2009 12:37'! restoreDefaultFonts "Since this is called from menus, we can take the opportunity to prompt for missing font styles." " Preferences restoreDefaultFonts " Preferences setDefaultFonts: #( (setListFontTo: BitstreamVeraSans 15) (setFlapsFontTo: BitstreamVeraSansBold 15) (setEToysButtonFontTo: BitstreamVeraSans 15) (setEToysFontTo: BitstreamVeraSansBold 15) (setEToysCodeFontTo: BitstreamVeraSans 15) (setEToysTitleFontTo: BitstreamVeraSans 32) (setPaintBoxButtonFontTo: BitstreamVeraSans 9) (setMenuFontTo: BitstreamVeraSans 15) (setWindowTitleFontTo: BitstreamVeraSans 15) (setBalloonHelpFontTo: BitstreamVeraSans 15) ). ! ! "Postscript: It restores the default fonts to set the new size for etoy code font" Preferences restoreDefaultFonts.!