Fix loading of JabRef 5.0 font preferences

JabRef · Apr 22, 2020 · 7c260f5 · 7c260f5
1 parent 5b5f6b7
commit 7c260f5
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/src/main/java/org/jabref/migrations/PreferencesMigrations.java b/src/main/java/org/jabref/migrations/PreferencesMigrations.java
@@ -427,7 +427,14 @@ static void restoreVariablesForBackwardCompatibility(JabRefPreferences preferenc
         }
 
         // Ensure font size is a parsable int variable
-        preferences.putInt(JabRefPreferences.MAIN_FONT_SIZE,
-                (int) Math.round(Double.parseDouble(preferences.get(JabRefPreferences.MAIN_FONT_SIZE))));
+        try {
+            // some versions stored the font size as double to the **same** key
+            // since the preference store is type-safe, we need to add this workaround
+            String fontSizeAsString = preferences.get(JabRefPreferences.MAIN_FONT_SIZE);
+            int fontSizeAsInt = (int) Math.round(Double.parseDouble(fontSizeAsString));
+            preferences.putInt(JabRefPreferences.MAIN_FONT_SIZE, fontSizeAsInt);
+        } catch (ClassCastException e) {
+            // already an integer
+        }
     }
 }