Ignore:
Timestamp:
2020-10-18T12:03:26+02:00 (4 years ago)
Author:
simon04
Message:

see #7548 - Re-organize the preference dialog (hide empty tabs)

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/src/org/openstreetmap/josm/gui/preferences/DefaultTabPreferenceSetting.java

    r17160 r17229  
    149149    }
    150150
     151    /**
     152     * Determines whether this tab may be hidden (since it does not contain any relevant content)
     153     * @return whether this tab may be hidden
     154     */
     155    protected boolean canBeHidden() {
     156        return false;
     157    }
     158
    151159    @Override
    152160    public String getHelpContext() {
Note: See TracChangeset for help on using the changeset viewer.