Changeset 14423 in josm


Ignore:
Timestamp:
2018-11-15T06:39:15+01:00 (4 weeks ago)
Author:
GerdP
Message:

see #7561 comment 16
add new expert preference properties.presets.visable to hide preset icons in properties dialg

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java

    r14397 r14423  
    259259        // combine both tables and wrap them in a scrollPane
    260260        boolean top = Config.getPref().getBoolean("properties.presets.top", true);
    261         if (top) {
     261        boolean presetsVisible = Config.getPref().getBoolean("properties.presets.visable", true);
     262        if (presetsVisible && top) {
    262263            bothTables.add(presets, GBC.std().fill(GBC.HORIZONTAL).insets(5, 2, 5, 2).anchor(GBC.NORTHWEST));
    263264            double epsilon = Double.MIN_VALUE; // need to set a weight or else anchor value is ignored
     
    270271        bothTables.add(membershipTable.getTableHeader(), GBC.eol().fill(GBC.HORIZONTAL));
    271272        bothTables.add(membershipTable, GBC.eol().fill(GBC.BOTH));
    272         if (!top) {
     273        if (presetsVisible && !top) {
    273274            bothTables.add(presets, GBC.eol().fill(GBC.HORIZONTAL).insets(5, 2, 5, 2));
    274275        }
Note: See TracChangeset for help on using the changeset viewer.