Ignore:
Timestamp:
2017-09-13T16:30:27+02:00 (21 months ago)
Author:
bastiK
Message:

see #15229 - fix deprecations caused by [12840]

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/history/VersionTable.java

    r11646 r12841  
    341341        Object val = tbl.getColumnModel().getColumn(col).getHeaderValue();
    342342        Component comp = tcr.getTableCellRendererComponent(tbl, val, false, false, -1, col);
    343         maxwidth = Math.max(comp.getPreferredSize().width + Main.pref.getInteger("table.header-inset", 0), maxwidth);
     343        maxwidth = Math.max(comp.getPreferredSize().width + Main.pref.getInt("table.header-inset", 0), maxwidth);
    344344
    345345        int spacing = tbl.getIntercellSpacing().width;
Note: See TracChangeset for help on using the changeset viewer.