From 743845954fbbc933d368ab6980a85c335a5612ec Mon Sep 17 00:00:00 2001
From: "J.M" <me@mynetx.net>
Date: Mon, 26 Aug 2013 22:12:30 +0200
Subject: [PATCH 1/4] Wrap navigation header in its own container, for easily
 determining the height

---
 libraries/navigation/NavigationHeader.class.php | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/libraries/navigation/NavigationHeader.class.php b/libraries/navigation/NavigationHeader.class.php
index d0bfaaec1b..adefeffe18 100644
--- a/libraries/navigation/NavigationHeader.class.php
+++ b/libraries/navigation/NavigationHeader.class.php
@@ -41,6 +41,7 @@ class PMA_NavigationHeader
         $buffer .= '<div id="pma_navigation_resizer"></div>';
         $buffer .= '<div id="pma_navigation_collapser"></div>';
         $buffer .= '<div id="pma_navigation_content">';
+        $buffer .= '<div id="pma_navigation_header">';
         $buffer .= sprintf(
             '<a class="hide navigation_url" href="navigation.php%s"></a>',
             $link_url
@@ -54,6 +55,7 @@ class PMA_NavigationHeader
             __('Loading'),
             array('style' => 'visibility: hidden;', 'class' => 'throbber')
         );
+        $buffer .= '</div>'; // pma_navigation_header
         $buffer .= '<div id="pma_navigation_tree"' . $class . '>';
         return $buffer;
     }
@@ -172,8 +174,8 @@ class PMA_NavigationHeader
     private function _links()
     {
         // always iconic
-        $showIcon = true; 
-        $showText = false; 
+        $showIcon = true;
+        $showText = false;
 
         $retval  = '<!-- LINKS START -->';
         $retval .= '<div id="leftframelinks">';

From ccba4708510b2b458c43e9cf0d5503f86c118233 Mon Sep 17 00:00:00 2001
From: "J.M" <me@mynetx.net>
Date: Mon, 26 Aug 2013 22:13:17 +0200
Subject: [PATCH 2/4] Update margins of navigation header elements to paddings,
 remove margin-top of tree

---
 themes/original/css/navigation.css.php | 2 +-
 themes/pmahomme/css/navigation.css.php | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/themes/original/css/navigation.css.php b/themes/original/css/navigation.css.php
index 1d8645b261..0d88478d25 100644
--- a/themes/original/css/navigation.css.php
+++ b/themes/original/css/navigation.css.php
@@ -105,7 +105,7 @@ if (! defined('PMA_MINIMUM_COMMON') && ! defined('TESTSUITE')) {
 
 /* Navigation tree*/
 #pma_navigation_tree {
-    margin: 0.5em 0 0;
+    margin: 0;
     margin-<?php echo $left; ?>: 1em;
     color: #444;
     height: 74%;
diff --git a/themes/pmahomme/css/navigation.css.php b/themes/pmahomme/css/navigation.css.php
index 48d8ee6228..0247598d35 100644
--- a/themes/pmahomme/css/navigation.css.php
+++ b/themes/pmahomme/css/navigation.css.php
@@ -73,7 +73,7 @@ if (! defined('PMA_MINIMUM_COMMON') && ! defined('TESTSUITE')) {
 #pma_navigation #databaseList,
 #pma_navigation div.pageselector.dbselector {
     text-align: center;
-    margin: 5px 10px 0px;
+    padding: 5px 10px 0px;
     border: 0;
 }
 
@@ -90,7 +90,7 @@ if (! defined('PMA_MINIMUM_COMMON') && ! defined('TESTSUITE')) {
 
 /* Navigation tree*/
 #pma_navigation_tree {
-    margin: 5px 0 0;
+    margin: 0;
     margin-<?php echo $left; ?>: 10px;
     color: #444;
     height: 74%; /*it needs to be dynamically set*/

From 34633b26ed4588d5dd8df6e7a87a4c06e6866e86 Mon Sep 17 00:00:00 2001
From: "J.M" <me@mynetx.net>
Date: Mon, 26 Aug 2013 22:13:58 +0200
Subject: [PATCH 3/4] Trim trailing space in navigation.js

---
 js/navigation.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/js/navigation.js b/js/navigation.js
index e0336ef042..2fe80f793d 100644
--- a/js/navigation.js
+++ b/js/navigation.js
@@ -31,7 +31,7 @@ $(function() {
         event.stopImmediatePropagation();
         PMA_expandNavigationTree($(this));
     });
-        
+
     /**
      * Register event handler for click on the reload
      * navigation icon at the top of the panel
@@ -262,7 +262,7 @@ function PMA_autoExpandDatabaseInUse($oldDb, $newDb) {
     //scroll to new database
     if ($oldDb !== $newDb) {
         setTimeout(function() {
-            scrollToView($expandElem.closest('li'), $('#pma_navigation_tree_content'));    
+            scrollToView($expandElem.closest('li'), $('#pma_navigation_tree_content'));
         }, 150);
     }
 }
@@ -270,7 +270,7 @@ function PMA_autoExpandDatabaseInUse($oldDb, $newDb) {
 /**
  * Reloads the whole navigation tree while preserving its state
  *
- * @param  function     the callback function 
+ * @param  function     the callback function
  * @return void
  */
 function PMA_reloadNavigation(callback) {

From 7b5b66047135da2b3052aeb191f1b471f4aee1de Mon Sep 17 00:00:00 2001
From: "J.M" <me@mynetx.net>
Date: Mon, 26 Aug 2013 22:14:57 +0200
Subject: [PATCH 4/4] Add ResizeHandler.treeResize event handler, call it on
 window resize, and now and then

---
 js/navigation.js | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/js/navigation.js b/js/navigation.js
index 2fe80f793d..f48000bc88 100644
--- a/js/navigation.js
+++ b/js/navigation.js
@@ -562,6 +562,17 @@ var ResizeHandler = function () {
         event.data.resize_handler.setWidth(panel_width);
         event.data.resize_handler.panel_width = width;
     };
+    /**
+     * Even thandler for resizing the navigation tree height on window resize
+     *
+     * @return void
+     */
+    this.treeResize = function (event) {
+        var $nav        = $("#pma_navigation"),
+            $nav_tree   = $("#pma_navigation_tree"),
+            $nav_header = $("#pma_navigation_header");
+        $nav_tree.height($nav.height() - $nav_header.height());
+    };
     /* Initialisation section begins here */
     if ($.cookie('pma_navi_width')) {
         // If we have a cookie, set the width of the panel to its value
@@ -579,6 +590,11 @@ var ResizeHandler = function () {
     $collapser.live('click', {'resize_handler':this}, this.collapse);
     // Add the correct arrow symbol to the collapser
     $collapser.html(this.getSymbol($('#pma_navigation').width()));
+    // Fix navigation tree height
+    $(window).on('resize', this.treeResize);
+    // need to call this now and then, browser might decide
+    // to show/hide horizontal scrollbars depending on page content width
+    setInterval(this.treeResize, 2000);
 }; // End of ResizeHandler
 
 /**