diff --git a/www/profiles/europapark/modules/contrib/panels/js/panels.js b/www/profiles/europapark/modules/contrib/panels/js/panels.js deleted file mode 100644 index 3bc5807ac000941f18443e5085eb095b6bd46ee9..0000000000000000000000000000000000000000 --- a/www/profiles/europapark/modules/contrib/panels/js/panels.js +++ /dev/null @@ -1,28 +0,0 @@ - -(function ($) { - Drupal.Panels = Drupal.Panels || {}; - - Drupal.Panels.autoAttach = function() { - if ($.browser.msie) { - // If IE, attach a hover event so we can see our admin links. - $("div.panel-pane").hover( - function() { - $('div.panel-hide', this).addClass("panel-hide-hover"); return true; - }, - function() { - $('div.panel-hide', this).removeClass("panel-hide-hover"); return true; - } - ); - $("div.admin-links").hover( - function() { - $(this).addClass("admin-links-hover"); return true; - }, - function(){ - $(this).removeClass("admin-links-hover"); return true; - } - ); - } - }; - - $(Drupal.Panels.autoAttach); -})(jQuery); diff --git a/www/profiles/europapark/modules/contrib/panels/panels.module b/www/profiles/europapark/modules/contrib/panels/panels.module index 905ff37988162284742cb4d564d40acafb37989b..5e02cbed17624288ad1f3b58ba7c3f6b03143e7c 100644 --- a/www/profiles/europapark/modules/contrib/panels/panels.module +++ b/www/profiles/europapark/modules/contrib/panels/panels.module @@ -258,7 +258,6 @@ function panels_init() { } ctools_add_css('panels', 'panels'); - ctools_add_js('panels', 'panels'); } /** diff --git a/www/profiles/europapark/modules/contrib/panels/plugins/layouts/flexible/flexible-admin.js b/www/profiles/europapark/modules/contrib/panels/plugins/layouts/flexible/flexible-admin.js index 10c6dd09de01422f80a3633051eeffa03de16539..910b3c8e4a0cd9ae84aa5e9e7aee3d21a6cbd5f5 100644 --- a/www/profiles/europapark/modules/contrib/panels/plugins/layouts/flexible/flexible-admin.js +++ b/www/profiles/europapark/modules/contrib/panels/plugins/layouts/flexible/flexible-admin.js @@ -290,9 +290,6 @@ Drupal.flexible.splitter = function($splitter) { // if not moving the right side, adjust the parent padding instead. splitter.parent.css('padding-left', (splitter.left_padding - moved) + 'px'); splitter.left.parent().css('margin-left', (splitter.left_parent + moved) + 'px'); - if (jQuery.browser.msie) { - splitter.left.parent().css('left', splitter.currentLeft); - } } return false; };