diff license.txt @ 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 62e5cc4bc347
children edb4307ac7ce
line wrap: on
line diff