Added check for negative font size in preferences.

This should allow to automatically recover situations like
#6359 (comment)

See #6359

Author: cmaglie

Diff for: arduino-core/src/processing/app/helpers/PreferencesHelper.java

@@ -94,6 +94,8 @@ public static Font getFont(PreferencesMap prefs, String key) {
     try {
       // ParseDouble handle numbers with decimals too
       size = (int) Double.parseDouble(split[2]);
+      if (size < 1) // Do not allow negative or zero size
+        throw new NumberFormatException();
     } catch (NumberFormatException e) {
       // for wrong formatted size pick the default
       size = 12;