Chris Muller uploaded a new version of System to project The Trunk: http://source.squeak.org/trunk/System-cmm.1012.mcz
==================== Summary ====================
Name: System-cmm.1012 Author: cmm Time: 3 April 2018, 6:58:34.010582 pm UUID: 71a76599-7c50-4d4e-9bab-ece5dfa71c93 Ancestors: System-mt.1011
Revert cmm.1009 to keep consistent default font size with other themes.
=============== Diff against System-mt.1011 ===============
Item was changed: ----- Method: CommunityTheme class>>addDarkFonts: (in category 'instance creation') ----- addDarkFonts: aUserInterfaceTheme "Set-up fonts." aUserInterfaceTheme + set: #balloonHelpFont to: (StrikeFont familyName: 'Darkmap DejaVu Sans' pointSize: 7 emphasized: TextEmphasis italic emphasisCode); + set: #standardButtonFont to: (StrikeFont familyName: 'Darkmap DejaVu Sans' pointSize: 7); + set: #standardCodeFont to: (StrikeFont familyName: 'Bitmap DejaVu Sans' pointSize: 9); + set: #standardFlapFont to: (StrikeFont familyName: 'Bitmap DejaVu Sans' pointSize: 7 emphasized: TextEmphasis bold emphasisCode); - set: #balloonHelpFont to: (StrikeFont familyName: 'Darkmap DejaVu Sans' pointSize: 9 emphasized: TextEmphasis italic emphasisCode); - set: #standardButtonFont to: (StrikeFont familyName: 'Darkmap DejaVu Sans' pointSize: 9); - set: #standardCodeFont to: (StrikeFont familyName: 'Bitmap DejaVu Sans' pointSize: 12); - set: #standardFlapFont to: (StrikeFont familyName: 'Bitmap DejaVu Sans' pointSize: 9 emphasized: TextEmphasis bold emphasisCode); set: #haloLabelFont to: (StrikeFont familyName: 'Darkmap DejaVu Sans' pointSize: 9); + set: #standardListFont to: (StrikeFont familyName: 'Bitmap DejaVu Sans' pointSize: 9); + set: #standardMenuFont to: (StrikeFont familyName: 'Bitmap DejaVu Sans' pointSize: 9); + set: #standardSystemFont to: (StrikeFont familyName: 'Bitmap DejaVu Sans' pointSize: 9); + set: #windowTitleFont to: (StrikeFont familyName: 'Bitmap DejaVu Sans' pointSize: 9 emphasized: TextEmphasis bold emphasisCode)! - set: #standardListFont to: (StrikeFont familyName: 'Bitmap DejaVu Sans' pointSize: 12); - set: #standardMenuFont to: (StrikeFont familyName: 'Bitmap DejaVu Sans' pointSize: 12); - set: #standardSystemFont to: (StrikeFont familyName: 'Bitmap DejaVu Sans' pointSize: 12); - set: #windowTitleFont to: (StrikeFont familyName: 'Bitmap DejaVu Sans' pointSize: 12 emphasized: TextEmphasis bold emphasisCode)!