Ticket #1986: usertools-search.patch

usertools/src/usertools/UserToolsPlugin.java

@@ -110 +110 @@
                 String name =  getSelectedUser();
                 if (!name.equals("0")){
                     SearchAction.SearchMode mode = SearchAction.SearchMode.replace;
-                    SearchAction.search(name, mode, false);
+                    SearchAction.search(name, mode, false, false);
                 }
             }
         }));