Index: /trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java =================================================================== --- /trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java (revision 17291) +++ /trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java (revision 17292) @@ -73,4 +73,5 @@ import org.openstreetmap.josm.tools.Logging; import org.openstreetmap.josm.tools.Pair; +import org.openstreetmap.josm.tools.PlatformManager; import org.openstreetmap.josm.tools.Utils; import org.openstreetmap.josm.tools.bugreport.BugReportExceptionHandler; @@ -514,6 +515,11 @@ private void insertGUITabsForSetting(Icon icon, TabPreferenceSetting tps, final Component component, int position) { - String title = "
" + tps.getTitle(); - insertTab(title, icon, component, tps.getTooltip(), position); + if (PlatformManager.isPlatformOsx()) { + // macOS / AquaLookAndFeel does not support horizontal tabs, see https://josm.openstreetmap.de/ticket/7548#comment:80 + insertTab(null, icon, component, tps.getTooltip(), position); + } else { + String title = "
" + tps.getTitle(); + insertTab(title, icon, component, tps.getTooltip(), position); + } }