Changeset 14423 in josm for trunk/src/org
- Timestamp:
- 2018-11-15T06:39:15+01:00 (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java
r14397 r14423 259 259 // combine both tables and wrap them in a scrollPane 260 260 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) { 262 263 bothTables.add(presets, GBC.std().fill(GBC.HORIZONTAL).insets(5, 2, 5, 2).anchor(GBC.NORTHWEST)); 263 264 double epsilon = Double.MIN_VALUE; // need to set a weight or else anchor value is ignored … … 270 271 bothTables.add(membershipTable.getTableHeader(), GBC.eol().fill(GBC.HORIZONTAL)); 271 272 bothTables.add(membershipTable, GBC.eol().fill(GBC.BOTH)); 272 if ( !top) {273 if (presetsVisible && !top) { 273 274 bothTables.add(presets, GBC.eol().fill(GBC.HORIZONTAL).insets(5, 2, 5, 2)); 274 275 }
Note:
See TracChangeset
for help on using the changeset viewer.