- add font size 13

mediathekview · Aug 7, 2023 · ae66573 · ae66573
1 parent 701fd1a
commit ae66573
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/mediathek/mainwindow/FontManager.java b/src/main/java/mediathek/mainwindow/FontManager.java
@@ -196,7 +196,7 @@ private void updateFontMenuItems() {
         // add font sizes
         fontMenu.addSeparator();
         ArrayList<String> sizes = new ArrayList<>(Arrays.asList(
-                "10", "11", "12", "14", "16", "18", "20", "24", "28"));
+                "10", "11", "12", "13", "14", "16", "18", "20", "24", "28"));
         if (!sizes.contains(currentSize))
             sizes.add(currentSize);
         sizes.sort(String.CASE_INSENSITIVE_ORDER);