comparison dwindows-config1.in @ 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 c677d728e143
children
comparison
equal deleted inserted replaced
2255:66d0f1df4b34 2256:b7467bceb2cd