Changeset 1408 in josm


Ignore:
Timestamp:
2009-02-15T15:53:42+01:00 (12 years ago)
Author:
stoecker
Message:

better space usage

File:
1 edited

Legend:

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

    r1407 r1408  
    532532        bothTables.add(membershipTable.getTableHeader(), GBC.eol().fill(GBC.HORIZONTAL));
    533533        bothTables.add(membershipTable, GBC.eol().fill(GBC.BOTH));
    534         bothTables.add(presets, GBC.eol().fill().insets(10, 10, 10, 10));
     534        bothTables.add(presets, GBC.eol().fill().insets(5, 2, 5, 2));
    535535
    536536        DblClickWatch dblClickWatch = new DblClickWatch();
Note: See TracChangeset for help on using the changeset viewer.