fine tuning left panel for IE

This commit is contained in:
Marc Delisle
2004-07-17 00:57:53 +00:00
parent 7a2bc96243
commit 261abc7537
2 changed files with 4 additions and 1 deletions

View File

@@ -5,6 +5,9 @@ phpMyAdmin - Changelog
$Id$ $Id$
$Source$ $Source$
2004-07-16 Marc Delisle <lem9@users.sourceforge.net>
* index.php: left frame display problems under IE
2004-07-16 Michal Čihař <michal@cihar.com> 2004-07-16 Michal Čihař <michal@cihar.com>
* libraries/export/sql.php: Remove code for old MySQL version, do not * libraries/export/sql.php: Remove code for old MySQL version, do not
store query, better handle various end of lines (probably bug #979635). store query, better handle various end of lines (probably bug #979635).

View File

@@ -75,7 +75,7 @@ if ($query_frame_height == 0) {
} }
// increase the height to take into account font size differences in // increase the height to take into account font size differences in
// theme 'original'? (TODO: improve with a parameter in layout.inc.php) // theme 'original'? (TODO: improve with a parameter in layout.inc.php)
$query_frame_height += ((!isset($GLOBALS['theme']) || $GLOBALS['theme']=='original') ? 15 : 0); $query_frame_height += ((!isset($GLOBALS['theme']) || $GLOBALS['theme']=='original') ? 20 : 10);
if ($cfg['LeftDisplayServers'] && !$cfg['DisplayServersList']) { if ($cfg['LeftDisplayServers'] && !$cfg['DisplayServersList']) {
$query_frame_height += 40; $query_frame_height += 40;