From 7c27d09c6f35d926b4f0b6077588fb9c28978459 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@bcmi-labs.cc>
Date: Mon, 28 Aug 2017 18:01:30 +0200
Subject: [PATCH] Added check for negative font size in preferences.

This should allow to automatically recover situations like
https://github.com/arduino/Arduino/issues/6359#issuecomment-324247440

See #6359
---
 arduino-core/src/processing/app/helpers/PreferencesHelper.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/arduino-core/src/processing/app/helpers/PreferencesHelper.java b/arduino-core/src/processing/app/helpers/PreferencesHelper.java
index 0e096e7f6..eb330f192 100644
--- a/arduino-core/src/processing/app/helpers/PreferencesHelper.java
+++ b/arduino-core/src/processing/app/helpers/PreferencesHelper.java
@@ -94,6 +94,8 @@ public abstract class PreferencesHelper {
     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;