- Timestamp:
- 2012-03-07T15:54:56+01:00 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/shortcut/PrefJPanel.java
r5006 r5049 368 368 sorter.setRowFilter(null); 369 369 } else { 370 expr = expr.replace("+", "\\+"); 370 371 // split search string on whitespace, do case-insensitive AND search 371 372 ArrayList<RowFilter<Object, Object>> andFilters = new ArrayList<RowFilter<Object, Object>>(); … … 375 376 sorter.setRowFilter(RowFilter.andFilter(andFilters)); 376 377 } 378 model.fireTableDataChanged(); 377 379 } 378 380 catch (PatternSyntaxException ex) { }
Note:
See TracChangeset
for help on using the changeset viewer.