Ignore:
Timestamp:
2017-09-13T23:24:50+02:00 (21 months ago)
Author:
bastiK
Message:

see #15229 - use Config.getPref() wherever possible

File:
1 edited

Legend:

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

    r12841 r12846  
    3535import org.openstreetmap.josm.gui.widgets.PopupMenuLauncher;
    3636import org.openstreetmap.josm.io.XmlWriter;
     37import org.openstreetmap.josm.spi.preferences.Config;
    3738import org.openstreetmap.josm.tools.ImageProvider;
    3839import org.openstreetmap.josm.tools.OpenBrowser;
     
    341342        Object val = tbl.getColumnModel().getColumn(col).getHeaderValue();
    342343        Component comp = tcr.getTableCellRendererComponent(tbl, val, false, false, -1, col);
    343         maxwidth = Math.max(comp.getPreferredSize().width + Main.pref.getInt("table.header-inset", 0), maxwidth);
     344        maxwidth = Math.max(comp.getPreferredSize().width + Config.getPref().getInt("table.header-inset", 0), maxwidth);
    344345
    345346        int spacing = tbl.getIntercellSpacing().width;
Note: See TracChangeset for help on using the changeset viewer.