From 261abc7537476c575d6eb9860e560973bf638019 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Sat, 17 Jul 2004 00:57:53 +0000
Subject: [PATCH] fine tuning left panel for IE

---
 ChangeLog | 3 +++
 index.php | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 5070757b0..9e5f2e852 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -5,6 +5,9 @@ phpMyAdmin - Changelog
 $Id$
 $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>
     * libraries/export/sql.php: Remove code for old MySQL version, do not
       store query, better handle various end of lines (probably bug #979635).
diff --git a/index.php b/index.php
index 018335ea4..c54efc73e 100644
--- a/index.php
+++ b/index.php
@@ -75,7 +75,7 @@ if ($query_frame_height == 0) {
 }
 // increase the height to take into account font size differences in 
 // 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']) {
     $query_frame_height += 40;