IDE 1.8.0 Released -- update: 1.8.10

Using Arduino IDE 1.x
18

1.8.1 fixes both the menu font display and the code editor display

Followup that the patch from github works fine on my Win10 64 bit system but just hangs on Win10 32 bit.