diff --git a/ChangeLog b/ChangeLog index 523db4844..70063bc44 100755 --- a/ChangeLog +++ b/ChangeLog @@ -15,6 +15,11 @@ $Source$ pma_theme as cookie name, default theme to some reasonable value to avoid undefined variables all around the code. * main.php, lang/*: strSelectTheme is IMHO not needed. + * Documentation.html, config.inc.php, index.php, left.php, main.php, + queryframe.php, libraries/config_import.lib.php, + libraries/select_server.lib.php: Use same code for all server selection, + possibly display server links also in right frame, show server links in + query frame when possible. 2004-06-09 Alexander M. Turek * libraries/config_import.lib.php: The default settings should be merged. diff --git a/Documentation.html b/Documentation.html index 036e85c61..e33ffc7d8 100755 --- a/Documentation.html +++ b/Documentation.html @@ -1194,7 +1194,7 @@ Defaults to TRUE.
Defaults to FALSE.

-
$cfg['LeftDisplayServersList'] boolean
+
$cfg['DisplayServersList'] boolean
Defines whether to display this server choice as links instead of in a drop-down. Defaults to FALSE (drop-down).

diff --git a/config.inc.php b/config.inc.php index 36447a2d1..d05d67019 100644 --- a/config.inc.php +++ b/config.inc.php @@ -226,7 +226,7 @@ $cfg['ShowTooltipAliasTB'] = FALSE; // are shown (in the left menu and db_d $cfg['LeftDisplayLogo'] = TRUE; // display logo at top of left frame $cfg['LeftDisplayServers'] = FALSE; // display server choice at top of left frame -$cfg['LeftDisplayServersList'] = FALSE; // server choice as links +$cfg['DisplayServersList'] = FALSE; // server choice as links // In the main frame, at startup... $cfg['ShowStats'] = TRUE; // allow to display statistics and space usage in diff --git a/index.php b/index.php index 46d15de45..7785e5901 100644 --- a/index.php +++ b/index.php @@ -62,7 +62,7 @@ $phpmain_hash_js = time(); 0) { @@ -79,6 +79,11 @@ if ($cfg['LeftDisplayLogo']) { $query_frame_height = $query_frame_height + 50; } if ($cfg['QueryFrame']) { + /* Will we show list of servers? */ + if ($cfg['LeftDisplayServers'] && $cfg['DisplayServersList'] && count($cfg['Servers']) > 1) { + $query_frame_height += (count($cfg['Servers']) + 1)*15; + } + if ($cfg['QueryFrameJS']) { echo '