view Version @ 2262:fe64be23680e

Mac: Switch to using NSFontManager fontWithFamily instead of NSFont fontWithName fontWithName: required the PostScript font name which could be the same as the family name, but often had no spaces, or extra text associated. Since we need to use the shared font manager, pull it out of the font chooser. Also "New Times Roman" worked on most platforms but required "Times New Roman" on Mac, so hopefully this will work on other platforms too.
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Wed, 27 Jan 2021 19:07:25 +0000
parents 95ad22a4da2d
children 023045e14837
line wrap: on
line source

# Set these here to change the version for all platforms
DW_MAJOR_VERSION=3
DW_MINOR_VERSION=2