fix a few windows wx issues, make windows use default GUI fonts, and a few other minor tweaks