Ignore:
Timestamp:
2020-08-29T13:33:25+02:00 (8 months ago)
Author:
simon04
Message:

see #8334 - Add advanced option to scale the table font

Advanced preference keys gui.scale.table.*

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/download/PlaceSelection.java

    r16419 r16960  
    5151import org.openstreetmap.josm.gui.PleaseWaitRunnable;
    5252import org.openstreetmap.josm.gui.util.GuiHelper;
     53import org.openstreetmap.josm.gui.util.TableHelper;
    5354import org.openstreetmap.josm.gui.widgets.HistoryComboBox;
    5455import org.openstreetmap.josm.gui.widgets.JosmComboBox;
     
    144145        columnmodel = new NamedResultTableColumnModel();
    145146        tblSearchResults = new JTable(model, columnmodel);
     147        TableHelper.setFont(tblSearchResults, DownloadDialog.class);
    146148        tblSearchResults.setSelectionModel(selectionModel);
    147149        JScrollPane scrollPane = new JScrollPane(tblSearchResults);
Note: See TracChangeset for help on using the changeset viewer.