Changeset 4775 in josm for trunk/src/org/openstreetmap/josm/gui/history/VersionTable.java
- Timestamp:
- 2012-01-08T18:23:05+01:00 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/history/VersionTable.java
r4601 r4775 31 31 import javax.swing.table.TableCellRenderer; 32 32 33 import org.openstreetmap.josm.Main; 33 34 import org.openstreetmap.josm.actions.AbstractInfoAction; 34 35 import org.openstreetmap.josm.data.osm.history.HistoryOsmPrimitive; … … 224 225 Object val = tbl.getColumnModel().getColumn(col).getHeaderValue(); 225 226 Component comp = tcr.getTableCellRendererComponent(tbl, val, false, false, -1, col); 226 maxwidth = Math.max(comp.getPreferredSize().width , maxwidth);227 maxwidth = Math.max(comp.getPreferredSize().width + Main.pref.getInteger("table.header-inset", 2), maxwidth); 227 228 228 229 int spacing = tbl.getIntercellSpacing().width;
Note:
See TracChangeset
for help on using the changeset viewer.