Ignore:
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/preferences
Files:
10 edited

Legend:

Unmodified
Added
Removed

  • trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java

    r16601 r16960  
    338338        iconPathsModel = new IconPathTableModel(selectionModel);
    339339        tblIconPaths = new JTable(iconPathsModel);
     340        TableHelper.setFont(tblIconPaths, getClass());
    340341        tblIconPaths.setSelectionModel(selectionModel);
    341342        tblIconPaths.setSelectionMode(ListSelectionModel.MULTIPLE_INTERVAL_SELECTION);

  • trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AbstractTableListEditor.java

    r16553 r16960  
    2323import javax.swing.table.TableCellEditor;
    2424
     25import org.openstreetmap.josm.gui.util.TableHelper;
    2526import org.openstreetmap.josm.gui.widgets.JosmTextField;
    2627import org.openstreetmap.josm.tools.GBC;
    … …  
    5556        tableModel = newTableModel();
    5657        table = new JTable(tableModel);
     58        TableHelper.setFont(table, PreferencesTable.class);
    5759        setContent(build(), false);
    5860    }

  • trunk/src/org/openstreetmap/josm/gui/preferences/advanced/ListEditor.java

    r14153 r16960  
    1616import javax.swing.table.AbstractTableModel;
    1717
     18import org.openstreetmap.josm.gui.util.TableHelper;
    1819import org.openstreetmap.josm.gui.widgets.JosmTextField;
    1920import org.openstreetmap.josm.spi.preferences.ListSetting;
    … …  
    5152        p.add(new JLabel(tr("Key: {0}", entry.getKey())), GBC.eol().insets(0, 0, 5, 0));
    5253        JTable table = new JTable(model);
     54        TableHelper.setFont(table, getClass());
    5355        table.putClientProperty("terminateEditOnFocusLost", Boolean.TRUE);
    5456        table.setTableHeader(null);

  • trunk/src/org/openstreetmap/josm/gui/preferences/advanced/PreferencesTable.java

    r16846 r16960  
    3131import org.openstreetmap.josm.gui.ExtendedDialog;
    3232import org.openstreetmap.josm.gui.util.GuiHelper;
     33import org.openstreetmap.josm.gui.util.TableHelper;
    3334import org.openstreetmap.josm.gui.widgets.JosmTextField;
    3435import org.openstreetmap.josm.spi.preferences.ListListSetting;
    … …  
    5960        getColumnModel().getColumn(1).setCellEditor(new SettingCellEditor());
    6061
     62        TableHelper.setFont(this, getClass());
    6163        addMouseListener(new MouseAdapter() {
    6264            @Override public void mouseClicked(MouseEvent e) {

  • trunk/src/org/openstreetmap/josm/gui/preferences/display/ColorPreference.java

    r16625 r16960  
    5353import org.openstreetmap.josm.gui.preferences.SubPreferenceSetting;
    5454import org.openstreetmap.josm.gui.preferences.TabPreferenceSetting;
     55import org.openstreetmap.josm.gui.preferences.advanced.PreferencesTable;
    5556import org.openstreetmap.josm.gui.util.GuiHelper;
     57import org.openstreetmap.josm.gui.util.TableHelper;
    5658import org.openstreetmap.josm.gui.widgets.FilterField;
    5759import org.openstreetmap.josm.tools.CheckParameterUtil;
    … …  
    307309
    308310        colors = new JTable(tableModel);
     311        TableHelper.setFont(colors, PreferencesTable.class);
    309312        colors.setAutoCreateRowSorter(true);
    310313        FilterField colorFilter = new FilterField().filter(colors, tableModel);

  • trunk/src/org/openstreetmap/josm/gui/preferences/imagery/CacheSettingsPanel.java

    r16398 r16960  
    4040import org.openstreetmap.josm.gui.layer.WMTSLayer;
    4141import org.openstreetmap.josm.gui.util.GuiHelper;
     42import org.openstreetmap.josm.gui.util.TableHelper;
    4243import org.openstreetmap.josm.gui.widgets.ButtonColumn;
    4344import org.openstreetmap.josm.gui.widgets.JosmTextField;
    … …  
    147148    private static JTable getTableForCache(final CacheAccess<String, BufferedImageCacheEntry> cache, final TableModel tableModel) {
    148149        final JTable ret = new JTable(tableModel);
     150        TableHelper.setFont(ret, CacheSettingsPanel.class);
    149151
    150152        ButtonColumn buttonColumn = new ButtonColumn(

  • trunk/src/org/openstreetmap/josm/gui/preferences/imagery/ImageryPreference.java

    r15115 r16960  
    4141import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane;
    4242import org.openstreetmap.josm.gui.util.GuiHelper;
     43import org.openstreetmap.josm.gui.util.TableHelper;
    4344import org.openstreetmap.josm.tools.GBC;
    4445import org.openstreetmap.josm.tools.Logging;
    … …  
    198199                }
    199200            };
     201            TableHelper.setFont(list, getClass());
    200202            JScrollPane scroll = new JScrollPane(list);
    201203            add(scroll, GBC.eol().fill(GridBagConstraints.BOTH));

  • trunk/src/org/openstreetmap/josm/gui/preferences/imagery/ImageryProvidersPanel.java

    r16555 r16960  
    6262import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane;
    6363import org.openstreetmap.josm.gui.util.GuiHelper;
     64import org.openstreetmap.josm.gui.util.TableHelper;
    6465import org.openstreetmap.josm.gui.widgets.FilterField;
    6566import org.openstreetmap.josm.gui.widgets.HtmlPanel;
    … …  
    224225            }
    225226        };
     227        TableHelper.setFont(activeTable, getClass());
    226228        activeTable.putClientProperty("terminateEditOnFocusLost", Boolean.TRUE);
    227229
    228230        defaultModel = new ImageryDefaultLayerTableModel();
    229231        defaultTable = new JTable(defaultModel);
     232        TableHelper.setFont(defaultTable, getClass());
    230233        defaultTable.setAutoCreateRowSorter(true);
    231234        defaultFilter = new FilterField().filter(defaultTable, defaultModel);

  • trunk/src/org/openstreetmap/josm/gui/preferences/projection/CodeSelectionPanel.java

    r13544 r16960  
    2222import org.openstreetmap.josm.data.projection.Projections;
    2323import org.openstreetmap.josm.gui.preferences.projection.CodeProjectionChoice.CodeComparator;
     24import org.openstreetmap.josm.gui.util.TableHelper;
    2425import org.openstreetmap.josm.gui.widgets.JosmTextField;
    2526import org.openstreetmap.josm.tools.GBC;
    … …  
    9798
    9899        table = new JTable(model);
     100        TableHelper.setFont(table, getClass());
    99101        table.setAutoCreateRowSorter(true);
    100102        JScrollPane scroll = new JScrollPane(table);

  • trunk/src/org/openstreetmap/josm/gui/preferences/shortcut/PrefJPanel.java

    r16913 r16960  
    4141import org.openstreetmap.josm.data.preferences.NamedColorProperty;
    4242import org.openstreetmap.josm.gui.util.GuiHelper;
     43import org.openstreetmap.josm.gui.util.TableHelper;
    4344import org.openstreetmap.josm.gui.widgets.FilterField;
    4445import org.openstreetmap.josm.gui.widgets.JosmComboBox;
    … …  
    194195
    195196        // This is the list of shortcuts:
     197        TableHelper.setFont(shortcutTable, getClass());
    196198        shortcutTable.setModel(model);
    197199        shortcutTable.getSelectionModel().addListSelectionListener(action);
Note: See TracChangeset for help on using the changeset viewer.