Ticket #20094: 20094.patch

src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java

@@ -575 +575 @@
     private int computeMaxTabWidth() {
         FontMetrics fm = getFontMetrics(getFont());
         return settings.stream().filter(x -> x instanceof TabPreferenceSetting)
+                .filter(x -> ((TabPreferenceSetting) x).getTitle() != null)
                 .mapToInt(x -> fm.stringWidth(((TabPreferenceSetting) x).getTitle())).max().orElse(120);
     }