[PD-dev] [ pure-data-Patches-3284900 ] make default font size the same on all platforms