Changeset 17292 in josm


Ignore:
Timestamp:
2020-11-03T00:09:37+01:00 (3 weeks ago)
Author:
simon04
Message:

see #7548 - Re-organize the preference dialog (disable tab titles for macOS)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java

    r17265 r17292  
    7373import org.openstreetmap.josm.tools.Logging;
    7474import org.openstreetmap.josm.tools.Pair;
     75import org.openstreetmap.josm.tools.PlatformManager;
    7576import org.openstreetmap.josm.tools.Utils;
    7677import org.openstreetmap.josm.tools.bugreport.BugReportExceptionHandler;
     
    514515
    515516    private void insertGUITabsForSetting(Icon icon, TabPreferenceSetting tps, final Component component, int position) {
    516         String title = "<html><div style='width:150px'>" + tps.getTitle();
    517         insertTab(title, icon, component, tps.getTooltip(), position);
     517        if (PlatformManager.isPlatformOsx()) {
     518            // macOS / AquaLookAndFeel does not support horizontal tabs, see https://josm.openstreetmap.de/ticket/7548#comment:80
     519            insertTab(null, icon, component, tps.getTooltip(), position);
     520        } else {
     521            String title = "<html><div style='width:150px'>" + tps.getTitle();
     522            insertTab(title, icon, component, tps.getTooltip(), position);
     523        }
    518524    }
    519525
Note: See TracChangeset for help on using the changeset viewer.