dropdowns in top menu + changes in tutorial engine
[redakcja.git] / redakcja / static / js / wiki / view_search.js
index e41f19d..ae0fd2d 100644 (file)
         else {}
         self.searchCursor.select();
         self.searchCursor.replace(query);
+        var found = self.search();
         if(self.options['replace-all']) {
-            while(self.search())
+            while(found) {
                 self.replace();
+                found = self.search();
+            }
         }
     };