update librarian
[redakcja.git] / redakcja / static / js / wiki / view_search.js
index ae0fd2d..b49671c 100644 (file)
         else {}
         self.searchCursor.select();
         self.searchCursor.replace(query);
         else {}
         self.searchCursor.select();
         self.searchCursor.replace(query);
-        var found = self.search();
-        if(self.options['replace-all']) {
-            while(found) {
-                self.replace();
-                found = self.search();
-            }
+        if(self.search() && self.options['replace-all']) {
+            self.replace();
         }
     };
 
         }
     };