refreshing flickr cover images + some cleanup
[redakcja.git] / redakcja / static / js / wiki / view_search.js
index 34393dc..b49671c 100644 (file)
@@ -7,6 +7,7 @@
         var old_callback = options.callback || function() { };
 
         this.noupdate_hash_onenter = true;
+        this.vsplitbar = 'ZNAJDŹ I ZAMIEŃ';
 
         options.callback = function(){
             var self = this;
@@ -64,8 +65,7 @@
             self.searchCursor = self.editor.getSearchCursor(
                 self.$searchInput.val(), 
                 self.options['search-from-cursor'], 
-                self.options['search-regexp'],
-                self.options['search-case-sensitive']
+                !self.options['search-case-sensitive']
             );
         }
         if (self.searchCursor.findNext()) {
@@ -90,7 +90,9 @@
         else {}
         self.searchCursor.select();
         self.searchCursor.replace(query);
-        self.search();
+        if(self.search() && self.options['replace-all']) {
+            self.replace();
+        }
     };
 
     SearchPerspective.prototype.onEnter = function(success, failure){
         self.$searchCursor = null;
 
         $('.vsplitbar').not('.active').trigger('click');
+        $(".vsplitbar-title").html("↓ ZNAJDŹ I ZAMIEŃ ↓");        
+        
         if ($.wiki.activePerspective() != 'CodeMirrorPerspective')
             $.wiki.switchToTab('#CodeMirrorPerspective');
     };
 
     $.wiki.SearchPerspective = SearchPerspective;
 
-})(jQuery);
\ No newline at end of file
+})(jQuery);