Changeset 16960 in josm for trunk/src/org/openstreetmap/josm/gui/layer/imagery/WMTSLayerSelection.java

Timestamp:

2020-08-29T13:33:25+02:00 (4 years ago)

Author:

simon04

Message:

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

Advanced preference keys gui.scale.table.*

File:

• trunk/src/org/openstreetmap/josm/gui/layer/imagery/WMTSLayerSelection.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/layer/imagery/WMTSLayerSelection.java

@@ -24 +24 @@
 
 import org.openstreetmap.josm.data.imagery.WMTSTileSource.Layer;
+import org.openstreetmap.josm.gui.util.TableHelper;
 import org.openstreetmap.josm.gui.widgets.JosmTextArea;
 import org.openstreetmap.josm.tools.GBC;
@@ -96 +97 @@
         list = new JTable(
                 new AbstractTableModelExtension(layers));
+        TableHelper.setFont(list, getClass());
         list.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
         list.setAutoCreateRowSorter(true);