Changeset 5049 in josm

Timestamp:

2012-03-07T15:54:56+01:00 (12 years ago)

Author:

akks

Message:

fix #7484: Keyboard Preferences dialog looses scrollbars after search

File:

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

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

@@ -368 +368 @@
                     sorter.setRowFilter(null);
                 } else {
+                    expr = expr.replace("+", "\\+");
                     // split search string on whitespace, do case-insensitive AND search
                     ArrayList<RowFilter<Object, Object>> andFilters = new ArrayList<RowFilter<Object, Object>>();
@@ -375 +376 @@
                     sorter.setRowFilter(RowFilter.andFilter(andFilters));
                 }
+                model.fireTableDataChanged();
             }
             catch (PatternSyntaxException ex) { }