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()) {
self.$searchCursor = null;
$('.vsplitbar').not('.active').trigger('click');
+ $(".vsplitbar-title").html("↓ SEARCH AND REPLACE ↓");
+
if ($.wiki.activePerspective() != 'CodeMirrorPerspective')
$.wiki.switchToTab('#CodeMirrorPerspective');
};
$.wiki.SearchPerspective = SearchPerspective;
-})(jQuery);
\ No newline at end of file
+})(jQuery);