Automatically search for the next match after single replace, fixes #3384
[redakcja.git] / redakcja / static / js / wiki_img / loader_readonly.js
index 1ce15b7..99e5ad0 100755 (executable)
@@ -8,6 +8,7 @@ if (!window.console) {
 
 DEFAULT_PERSPECTIVE = "#MotifsPerspective";
 
 
 DEFAULT_PERSPECTIVE = "#MotifsPerspective";
 
+
 $(function()
 {
        var tabs = $('ol#tabs li');
 $(function()
 {
        var tabs = $('ol#tabs li');
@@ -24,6 +25,7 @@ $(function()
                 * TABS
                 */
         $('#tabs li').live('click', function(event, callback) {
                 * TABS
                 */
         $('#tabs li').live('click', function(event, callback) {
+            event.preventDefault();
                        $.wiki.switchToTab(this);
         });
 
                        $.wiki.switchToTab(this);
         });
 
@@ -37,10 +39,11 @@ $(function()
                        p.destroy();
                        return false;
         });
                        p.destroy();
                        return false;
         });
-
+/*
         $(window).resize(function(){
             $('iframe').height($(window).height() - $('#tabs').outerHeight() - $('#source-editor .toolbar').outerHeight());
         });
         $(window).resize(function(){
             $('iframe').height($(window).height() - $('#tabs').outerHeight() - $('#source-editor .toolbar').outerHeight());
         });
+        */
 
                $(document).bind('wlapi_document_changed', function(event, doc) {
                        try {
 
                $(document).bind('wlapi_document_changed', function(event, doc) {
                        try {
@@ -56,8 +59,6 @@ $(function()
                                $('#loading-overlay').fadeOut();
                                var active_tab = document.location.hash || DEFAULT_PERSPECTIVE;
 
                                $('#loading-overlay').fadeOut();
                                var active_tab = document.location.hash || DEFAULT_PERSPECTIVE;
 
-                               $(window).resize();
-
                                console.log("Initial tab is:", active_tab)
                                $.wiki.switchToTab(active_tab);
                        },
                                console.log("Initial tab is:", active_tab)
                                $.wiki.switchToTab(active_tab);
                        },