Don't set has_local_changes document flag unnecessarily, fixes #3234
[redakcja.git] / redakcja / static / js / wiki / view_search.js
index ae0fd2d..21127dc 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.options['replace-all'] && self.search()) {
+            self.replace();
         }
     };
 
         }
     };