From 8640de951c24471f1c78ef1cddcbca82b2831367 Mon Sep 17 00:00:00 2001
From: Atul Pratap Singh <atulpratapsingh05@gmail.com>
Date: Mon, 14 Oct 2013 15:28:54 +0530
Subject: [PATCH] Adjust navigation only when there is database/table change,
 bug#4129

---
 ChangeLog    |  1 +
 js/common.js | 12 ++++++------
 2 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index a88a664e7c..5cf3004a66 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -7,6 +7,7 @@ phpMyAdmin - ChangeLog
 - bug #3995 Drizzle server charset notice
 - bug #3911 Filtering database names includes empty groupings
 - bug #3678 Does not display or manipulate bit(64) fields appropriately
+- bug #4129 Unneeded navi panel refresh
 
 4.0.8.0 (2013-10-06)
 - bug #3988 Rename view is not working
diff --git a/js/common.js b/js/common.js
index 02dd342c78..6ca9fd600b 100644
--- a/js/common.js
+++ b/js/common.js
@@ -41,9 +41,9 @@ var PMA_commonParams = (function () {
             for (var i in obj) {
                 if (params[i] !== undefined && params[i] !== obj[i]) {
                     reload = true;
-                }
-                if (i == 'db' || i == 'table') {
-                    updateNavigation = true;
+                    if (i == 'db' || i == 'table') {
+                        updateNavigation = true;
+                    }
                 }
                 params[i] = obj[i];
             }
@@ -76,11 +76,11 @@ var PMA_commonParams = (function () {
         set: function (name, value) {
             if (params[name] !== undefined && params[name] !== value) {
                 PMA_querywindow.refresh();
+                if (name == 'db' || name == 'table') {
+                    PMA_showCurrentNavigation();
+                }
             }
             params[name] = value;
-            if (name == 'db' || name == 'table') {
-                PMA_showCurrentNavigation();
-            }
             return this;
         },
         /**