Fix #4593 Manual SELECT doesn't change active table

Signed-off-by: Hugues Peccatte <hugues.peccatte@gmail.com>

1 files changed, 7 insertions, 0 deletions

diff --git a/js/sql.js b/js/sql.js
index 62055d93cb..504f270e03 100644
--- a/js/sql.js
+++ b/js/sql.js
@@ -322,6 +322,13 @@ AJAX.registerOnload('sql.js', function () {
                     .html(data.message);
                 PMA_highlightSQL($sqlqueryresultsouter);
 
+                if (data._menu) {
+                    AJAX.cache.menus.replace(data._menu);
+                    AJAX.cache.menus.add(data._menuHash, data._menu);
+                } else if (data._menuHash) {
+                    AJAX.cache.menus.replace(AJAX.cache.menus.get(data._menuHash));
+                }
+
                 if (typeof data.ajax_reload != 'undefined') {
                     if (data.ajax_reload.reload) {
                         if (data.ajax_reload.table_name) {