Changeset 5049 in josm for trunk/src


Ignore:
Timestamp:
2012-03-07T15:54:56+01:00 (8 years ago)
Author:
akks
Message:

fix #7484: Keyboard Preferences dialog looses scrollbars after search

File:
1 edited

Legend:

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

    r5006 r5049  
    368368                    sorter.setRowFilter(null);
    369369                } else {
     370                    expr = expr.replace("+", "\\+");
    370371                    // split search string on whitespace, do case-insensitive AND search
    371372                    ArrayList<RowFilter<Object, Object>> andFilters = new ArrayList<RowFilter<Object, Object>>();
     
    375376                    sorter.setRowFilter(RowFilter.andFilter(andFilters));
    376377                }
     378                model.fireTableDataChanged();
    377379            }
    378380            catch (PatternSyntaxException ex) { }
Note: See TracChangeset for help on using the changeset viewer.