Changeset 17099 in josm for trunk/src/org/openstreetmap/josm/gui/preferences

Timestamp:

2020-10-07T19:52:23+02:00 (4 years ago)

Author:

simon04

Message:

fix #19745 - Preferences: add quick filter for styles/presets/rules

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java (modified) (17 diffs)

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

@@ -9 +9 @@
 import java.awt.Component;
 import java.awt.Dimension;
-import java.awt.Font;
 import java.awt.GridBagConstraints;
 import java.awt.GridBagLayout;
@@ -40 +39 @@
 import java.util.stream.Collectors;
 import java.util.stream.IntStream;
+import java.util.stream.Stream;
 
 import javax.swing.AbstractAction;
 import javax.swing.BorderFactory;
 import javax.swing.Box;
-import javax.swing.DefaultListModel;
 import javax.swing.DefaultListSelectionModel;
 import javax.swing.JButton;
@@ -51 +50 @@
 import javax.swing.JFileChooser;
 import javax.swing.JLabel;
-import javax.swing.JList;
 import javax.swing.JOptionPane;
 import javax.swing.JPanel;
@@ -59 +57 @@
 import javax.swing.JToolBar;
 import javax.swing.KeyStroke;
-import javax.swing.ListCellRenderer;
 import javax.swing.ListSelectionModel;
 import javax.swing.UIManager;
@@ -94 +91 @@
 import org.openstreetmap.josm.gui.widgets.AbstractFileChooser;
 import org.openstreetmap.josm.gui.widgets.FileChooserManager;
+import org.openstreetmap.josm.gui.widgets.FilterField;
 import org.openstreetmap.josm.gui.widgets.JosmTextField;
 import org.openstreetmap.josm.io.CachedFile;
@@ -125 +123 @@
     protected final ActiveSourcesModel activeSourcesModel;
     /** the list of available sources **/
-    protected final JList<ExtendedSourceEntry> lstAvailableSources;
+    protected final JTable tblAvailableSources;
     /** the underlying model of available sources **/
-    protected final AvailableSourcesListModel availableSourcesModel;
+    protected final AvailableSourcesModel availableSourcesModel;
     /** the URL from which the available sources are fetched **/
     protected final String availableSourcesUrl;
@@ -152 +150 @@
 
         DefaultListSelectionModel selectionModel = new DefaultListSelectionModel();
-        this.availableSourcesModel = new AvailableSourcesListModel(selectionModel);
-        this.lstAvailableSources = new JList<>(availableSourcesModel);
-        this.lstAvailableSources.setSelectionModel(selectionModel);
-        final SourceEntryListCellRenderer listCellRenderer = new SourceEntryListCellRenderer();
-        this.lstAvailableSources.setCellRenderer(listCellRenderer);
-        GuiHelper.extendTooltipDelay(lstAvailableSources);
+        this.availableSourcesModel = new AvailableSourcesModel();
+        this.tblAvailableSources = new ScrollHackTable(availableSourcesModel);
+        this.tblAvailableSources.setAutoCreateRowSorter(true);
+        this.tblAvailableSources.setSelectionModel(selectionModel);
+        final FancySourceEntryTableCellRenderer availableSourcesEntryRenderer = new FancySourceEntryTableCellRenderer();
+        this.tblAvailableSources.getColumnModel().getColumn(0).setCellRenderer(availableSourcesEntryRenderer);
+        GuiHelper.extendTooltipDelay(tblAvailableSources);
         this.availableSourcesUrl = availableSourcesUrl;
         this.sourceProviders = sourceProviders;
@@ -166 +165 @@
         tblActiveSources.putClientProperty("terminateEditOnFocusLost", Boolean.TRUE);
         tblActiveSources.setSelectionModel(selectionModel);
-        tblActiveSources.setSelectionMode(ListSelectionModel.MULTIPLE_INTERVAL_SELECTION);
-        tblActiveSources.setShowGrid(false);
-        tblActiveSources.setIntercellSpacing(new Dimension(0, 0));
-        tblActiveSources.setTableHeader(null);
-        tblActiveSources.setAutoResizeMode(JTable.AUTO_RESIZE_OFF);
+        Stream.of(tblAvailableSources, tblActiveSources).forEach(t -> {
+            t.setSelectionMode(ListSelectionModel.MULTIPLE_INTERVAL_SELECTION);
+            t.setShowGrid(false);
+            t.setIntercellSpacing(new Dimension(0, 0));
+            t.setTableHeader(null);
+            t.setAutoResizeMode(JTable.AUTO_RESIZE_OFF);
+        });
         SourceEntryTableCellRenderer sourceEntryRenderer = new SourceEntryTableCellRenderer();
         if (canEnable) {
@@ -181 +182 @@
 
         activeSourcesModel.addTableModelListener(e -> {
-            listCellRenderer.updateSources(activeSourcesModel.getSources());
-            lstAvailableSources.repaint();
+            availableSourcesEntryRenderer.updateSources(activeSourcesModel.getSources());
+            tblAvailableSources.repaint();
         });
         tblActiveSources.addPropertyChangeListener(evt -> {
-            listCellRenderer.updateSources(activeSourcesModel.getSources());
-            lstAvailableSources.repaint();
+            availableSourcesEntryRenderer.updateSources(activeSourcesModel.getSources());
+            tblAvailableSources.repaint();
         });
         // Force Swing to show horizontal scrollbars for the JTable
         // Yes, this is a little ugly, but should work
+        availableSourcesModel.addTableModelListener(e -> TableHelper.adjustColumnWidth(tblAvailableSources, 0, 800));
         activeSourcesModel.addTableModelListener(e -> TableHelper.adjustColumnWidth(tblActiveSources, canEnable ? 1 : 0, 800));
         activeSourcesModel.setActiveSources(getInitialSourcesList());
@@ -227 +229 @@
 
         ActivateSourcesAction activateSourcesAction = new ActivateSourcesAction();
-        lstAvailableSources.addListSelectionListener(activateSourcesAction);
+        tblAvailableSources.getSelectionModel().addListSelectionListener(activateSourcesAction);
         JButton activate = new JButton(activateSourcesAction);
 
@@ -256 +258 @@
         gbc.insets = new Insets(0, 11, 0, 0);
 
-        JScrollPane sp1 = new JScrollPane(lstAvailableSources);
-        add(sp1, gbc);
+        FilterField availableSourcesFilter = new FilterField().filter(tblAvailableSources, availableSourcesModel);
+        JPanel defaultPane = new JPanel(new GridBagLayout());
+        JScrollPane sp1 = new JScrollPane(tblAvailableSources);
+        defaultPane.add(availableSourcesFilter, GBC.eol().insets(0, 0, 0, 0).fill(GridBagConstraints.HORIZONTAL));
+        defaultPane.add(sp1, GBC.eol().insets(0, 0, 0, 0).fill(GridBagConstraints.BOTH));
+        add(defaultPane, gbc);
 
         gbc.gridx = 1;
@@ -561 +567 @@
      * List model of available sources.
      */
-    protected static class AvailableSourcesListModel extends DefaultListModel<ExtendedSourceEntry> {
+    protected static class AvailableSourcesModel extends AbstractTableModel {
         private final transient List<ExtendedSourceEntry> data;
-        private final DefaultListSelectionModel selectionModel;
 
         /**
          * Constructs a new {@code AvailableSourcesListModel}
-         * @param selectionModel selection model
-         */
-        public AvailableSourcesListModel(DefaultListSelectionModel selectionModel) {
+         */
+        public AvailableSourcesModel() {
             data = new ArrayList<>();
-            this.selectionModel = selectionModel;
         }
 
@@ -583 +586 @@
                 data.addAll(sources);
             }
-            fireContentsChanged(this, 0, data.size());
-        }
-
-        @Override
-        public ExtendedSourceEntry getElementAt(int index) {
-            return data.get(index);
-        }
-
-        @Override
-        public int getSize() {
+            fireTableDataChanged();
+        }
+
+        public ExtendedSourceEntry getValueAt(int rowIndex) {
+            return data.get(rowIndex);
+        }
+
+        @Override
+        public ExtendedSourceEntry getValueAt(int rowIndex, int ignored) {
+            return getValueAt(rowIndex);
+        }
+
+        @Override
+        public int getRowCount() {
             if (data == null) return 0;
             return data.size();
         }
 
-        /**
-         * Deletes the selected sources.
-         */
-        public void deleteSelected() {
-            Iterator<ExtendedSourceEntry> it = data.iterator();
-            int i = 0;
-            while (it.hasNext()) {
-                it.next();
-                if (selectionModel.isSelectedIndex(i)) {
-                    it.remove();
-                }
-                i++;
-            }
-            fireContentsChanged(this, 0, data.size());
-        }
-
-        /**
-         * Returns the selected sources.
-         * @return the selected sources
-         */
-        public List<ExtendedSourceEntry> getSelected() {
-            return IntStream.range(0, data.size())
-                    .filter(selectionModel::isSelectedIndex)
-                    .mapToObj(data::get)
-                    .collect(Collectors.toList());
+        @Override
+        public int getColumnCount() {
+            return 1;
         }
     }
@@ -1066 +1051 @@
 
         protected final void updateEnabledState() {
-            setEnabled(lstAvailableSources.getSelectedIndices().length > 0);
+            setEnabled(tblAvailableSources.getSelectedRowCount() > 0);
         }
 
@@ -1076 +1061 @@
         @Override
         public void actionPerformed(ActionEvent e) {
-            List<ExtendedSourceEntry> sources = availableSourcesModel.getSelected();
+            List<ExtendedSourceEntry> sources = Arrays.stream(tblAvailableSources.getSelectedRows())
+                    .map(tblAvailableSources::convertRowIndexToModel)
+                    .mapToObj(availableSourcesModel::getValueAt)
+                    .collect(Collectors.toList());
+
             int josmVersion = Version.getInstance().getVersion();
             if (josmVersion != Version.JOSM_UNKNOWN_VERSION) {
@@ -1330 +1319 @@
     }
 
-    static class SourceEntryListCellRenderer extends JLabel implements ListCellRenderer<ExtendedSourceEntry> {
+    static class FancySourceEntryTableCellRenderer extends DefaultTableCellRenderer {
 
         private static final NamedColorProperty SOURCE_ENTRY_ACTIVE_BACKGROUND_COLOR = new NamedColorProperty(
@@ -1342 +1331 @@
 
         @Override
-        public Component getListCellRendererComponent(JList<? extends ExtendedSourceEntry> list, ExtendedSourceEntry value,
-                int index, boolean isSelected, boolean cellHasFocus) {
+        public Component getTableCellRendererComponent(JTable list, Object object, boolean isSelected, boolean hasFocus, int row, int column) {
+            super.getTableCellRendererComponent(list, object, isSelected, hasFocus, row, column);
+            final ExtendedSourceEntry value = (ExtendedSourceEntry) object;
             String s = value.toString();
             setText(s);
-            if (isSelected) {
-                setBackground(list.getSelectionBackground());
-                setForeground(list.getSelectionForeground());
-            } else {
-                setBackground(list.getBackground());
-                setForeground(list.getForeground());
-            }
-            setEnabled(list.isEnabled());
-            setFont(list.getFont());
-            setFont(getFont().deriveFont(Font.PLAIN));
-            setOpaque(true);
             setToolTipText(value.getTooltip());
             if (!isSelected) {