view Version @ 2256:b7467bceb2cd

Set the font point size position to 9, the default value before use. If this isn't done, sometimes pressing the up or down buttons on the spinner causes the next position to be at an unexpected value.
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Mon, 25 Jan 2021 21:19:24 +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