From 4f8b9527ee3b58b326c09144a016d92249780a9a Mon Sep 17 00:00:00 2001 From: mokraemer Date: Fri, 9 Nov 2018 15:18:26 +0100 Subject: [PATCH] Fix left menu not showing on Opera 12.16 (#14619) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Left database tree is not shown if size computes to 0 or less. This will ensure to have a min height. Fixes #14591 Signed-off-by: Marc Krämer --- js/navigation.js | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/js/navigation.js b/js/navigation.js index 40192bff8a..4b24e37545 100644 --- a/js/navigation.js +++ b/js/navigation.js @@ -1301,9 +1301,12 @@ var ResizeHandler = function () { var $nav_tree = $('#pma_navigation_tree'); var $nav_header = $('#pma_navigation_header'); var $nav_tree_content = $('#pma_navigation_tree_content'); - $nav_tree.height($nav.height() - $nav_header.height()); + var height = ($nav.height() - $nav_header.height()); + + height = height > 50 ? height : 800; //keep min. height + $nav_tree.height(height); if ($nav_tree_content.length > 0) { - $nav_tree_content.height($nav_tree.height() - $nav_tree_content.position().top); + $nav_tree_content.height(height - $nav_tree_content.position().top); } else { // TODO: in fast filter search response there is no #pma_navigation_tree_content, needs to be added in php $nav_tree.css({