Changeset 16960 in josm for trunk/src/org/openstreetmap/josm/gui/dialogs

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.*

Location:

trunk/src/org/openstreetmap/josm/gui/dialogs

Files:

• LayerListDialog.java (modified) (2 diffs)
• properties/PropertiesDialog.java (modified) (2 diffs)
• relation/SelectionTable.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/dialogs/LayerListDialog.java

@@ -210 +210 @@
         //
         layerList = new LayerList(model);
+        TableHelper.setFont(layerList, getClass());
         layerList.setSelectionModel(selectionModel);
         layerList.addMouseListener(new PopupMenuHandler());
@@ -919 +920 @@
             Icon icon = layer.getIcon();
             if (layerList != null && icon != null) {
-                layerList.setRowHeight(idx, Math.max(16, icon.getIconHeight()));
+                layerList.setRowHeight(idx, Math.max(layerList.getRowHeight(), icon.getIconHeight()));
             }
             selectionModel.setSelectionInterval(idx, idx);

trunk/src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java

@@ -315 +315 @@
     private void buildTagsTable() {
         // setting up the tags table
+        TableHelper.setFont(tagTable, getClass());
         tagData.setColumnIdentifiers(new String[]{tr("Key"), tr("Value")});
         tagTable.setSelectionMode(ListSelectionModel.MULTIPLE_INTERVAL_SELECTION);
@@ -339 +340 @@
 
     private void buildMembershipTable() {
+        TableHelper.setFont(membershipTable, getClass());
         membershipData.setColumnIdentifiers(new String[]{tr("Member Of"), tr("Role"), tr("Position")});
         membershipTable.setSelectionMode(ListSelectionModel.MULTIPLE_INTERVAL_SELECTION);

trunk/src/org/openstreetmap/josm/gui/dialogs/relation/SelectionTable.java

@@ -9 +9 @@
 import javax.swing.ListSelectionModel;
 import javax.swing.SwingUtilities;
+
+import org.openstreetmap.josm.gui.util.TableHelper;
 
 /**
@@ -32 +34 @@
 
     protected void build() {
+        TableHelper.setFont(this, getClass());
         setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
         addMouseListener(new DoubleClickAdapter());