quick dirty fix for cache problem

[redakcja.git] / redakcja / static / js / wiki / view_search.js

diff --git a/redakcja/static/js/wiki/view_search.js b/redakcja/static/js/wiki/view_search.js
index 34393dc..64a35c4 100644 (file)
--- a/redakcja/static/js/wiki/view_search.js
+++ b/redakcja/static/js/wiki/view_search.js
@@ -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()) {
@@ -100,6 +100,8 @@
         self.$searchCursor = null;
 
         $('.vsplitbar').not('.active').trigger('click');
+        $(".vsplitbar-title").html("↓ ZNAJDŹ I ZAMIEŃ ↓");        
+        
         if ($.wiki.activePerspective() != 'CodeMirrorPerspective')
             $.wiki.switchToTab('#CodeMirrorPerspective');
     };
@@ -110,4 +112,4 @@
 
     $.wiki.SearchPerspective = SearchPerspective;
 
-})(jQuery);
\ No newline at end of file
+})(jQuery);