Index: /trunk/src/org/openstreetmap/josm/gui/preferences/shortcut/PrefJPanel.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/gui/preferences/shortcut/PrefJPanel.java	(revision 5048)
+++ /trunk/src/org/openstreetmap/josm/gui/preferences/shortcut/PrefJPanel.java	(revision 5049)
@@ -368,4 +368,5 @@
                     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,4 +376,5 @@
                     sorter.setRowFilter(RowFilter.andFilter(andFilters));
                 }
+                model.fireTableDataChanged();
             }
             catch (PatternSyntaxException ex) { }