From bc922c71dd776328a58eaade954f6fbd98d7b16f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Tue, 19 Oct 2004 15:26:41 +0000
Subject: [PATCH] Clickable active server in left frame (RFE # 1044678).

---
 ChangeLog                       |  2 ++
 libraries/select_server.lib.php | 12 ++++++------
 2 files changed, 8 insertions(+), 6 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index b9db806c9..73fe16848 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -18,6 +18,8 @@ $Source$
     * read_dump.php, server_privileges.php, server_status.php, sql.php: Work
       better in ANSI mode (bug #816858).
     * lang/czech: Reordered some words.
+    * libraries/select_server.lib.php: Clickable active server in left frame
+      (RFE # 1044678).
 
 2004-10-17 Marc Delisle  <lem9@users.sourceforge.net>
     * lang/turkish update, thanks to boralioglu.
diff --git a/libraries/select_server.lib.php b/libraries/select_server.lib.php
index 5233be08d..6b69bf2d4 100644
--- a/libraries/select_server.lib.php
+++ b/libraries/select_server.lib.php
@@ -5,13 +5,13 @@
  */
 
 if (count($cfg['Servers']) > 1) {
-    if (!$cfg['DisplayServersList']) { 
+    if (!$cfg['DisplayServersList']) {
     ?>
     <form method="post" action="index.php" target="_parent" style="margin: 0px; padding: 0px;">
     <?php
-    } 
+    }
     if ($show_server_left) {
-        echo '<div class="heada">' . $strServer . ':</div>'; 
+        echo '<div class="heada">' . $strServer . ':</div>';
     } else {
     ?>
 <!-- MySQL servers choice form -->
@@ -23,12 +23,12 @@ if (count($cfg['Servers']) > 1) {
         <td>
     <?php
     }
-    if (!$cfg['DisplayServersList']) { 
+    if (!$cfg['DisplayServersList']) {
     ?>
     <form method="post" action="index.php" target="_parent" style="margin: 0px; padding: 0px;">
         <select name="server" onchange="this.form.submit();">
     <?php
-    } 
+    }
     foreach ($cfg['Servers'] AS $key => $val) {
         if (!empty($val['host'])) {
              $selected = 0;
@@ -54,7 +54,7 @@ if (count($cfg['Servers']) > 1) {
             }
 
             if ($cfg['DisplayServersList']){
-                if ($selected) {
+                if ($selected && !$show_server_left) {
                     echo '&raquo; <b>' . $label . '</b><br />';
                 }else{
                     echo '&raquo; <a class="item" href="index.php?server=' . $key . '&amp;lang=' . $lang . '&amp;convcharset=' . $convcharset . '" target="_top">' . $label . '</a><br />';