Changeset 1408 in josm

Timestamp:

Feb 15, 2009 3:53:42 PM (4 years ago)

Author:

stoecker

Message:

better space usage

File:

• trunk/src/org/openstreetmap/josm/gui/dialogs/PropertiesDialog.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/dialogs/PropertiesDialog.java

@@ -532 +532 @@
         bothTables.add(membershipTable.getTableHeader(), GBC.eol().fill(GBC.HORIZONTAL));
         bothTables.add(membershipTable, GBC.eol().fill(GBC.BOTH));
-        bothTables.add(presets, GBC.eol().fill().insets(10, 10, 10, 10));
+        bothTables.add(presets, GBC.eol().fill().insets(5, 2, 5, 2));
 
         DblClickWatch dblClickWatch = new DblClickWatch();