Changeset 4427 in josm

Timestamp:

2011-09-16T12:27:04+02:00 (13 years ago)

Author:

stoecker

Message:

fix display refresh when tables change

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/ImageryPreference.java (modified) (2 diffs)

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

@@ -48 +48 @@
 import javax.swing.event.ListSelectionEvent;
 import javax.swing.event.ListSelectionListener;
+import javax.swing.event.TableModelEvent;
+import javax.swing.event.TableModelListener;
 import javax.swing.table.DefaultTableCellRenderer;
 import javax.swing.table.DefaultTableModel;
@@ -400 +402 @@
                 }
             };
+
+            modeldef.addTableModelListener(
+                new TableModelListener() {
+                    @Override
+                    public void tableChanged(TableModelEvent e) {
+                        listActive.repaint();
+                    }
+                }
+            );
+
+            model.addTableModelListener(
+                new TableModelListener() {
+                    @Override
+                    public void tableChanged(TableModelEvent e) {
+                        listdef.repaint();
+                    }
+                }
+            );
 
             TableColumnModel mod = listdef.getColumnModel();