add favicon, reverse page titles
[redakcja.git] / redakcja / static / js / wiki / view_search.js
index e41f19d..b49671c 100644 (file)
@@ -90,9 +90,8 @@
         else {}
         self.searchCursor.select();
         self.searchCursor.replace(query);
         else {}
         self.searchCursor.select();
         self.searchCursor.replace(query);
-        if(self.options['replace-all']) {
-            while(self.search())
-                self.replace();
+        if(self.search() && self.options['replace-all']) {
+            self.replace();
         }
     };
 
         }
     };