From 7fbdcd13446701be7bcb31cf4aa44294a6286589 Mon Sep 17 00:00:00 2001 From: Robin Johnson Date: Sat, 18 Aug 2001 18:28:41 +0000 Subject: [PATCH] lib.inc.php3 (788, 790) : tweak size for lower resolution screens --- ChangeLog | 3 +++ lib.inc.php3 | 15 ++++++++++----- 2 files changed, 13 insertions(+), 5 deletions(-) diff --git a/ChangeLog b/ChangeLog index ab36b8b12..67c8c0c69 100755 --- a/ChangeLog +++ b/ChangeLog @@ -5,6 +5,9 @@ phpMyAdmin - Changelog $Id$ $Source$ +2001-08-18 Robin Johnson + * lib.inc.php3 (788, 790) : tweak size for lower resolution screens + 2001-08-18 Olivier Müller * db_details.php3: added a few . * left.php3: one more space between table name and num_dbs. diff --git a/lib.inc.php3 b/lib.inc.php3 index 20483c0bb..14767b8d8 100755 --- a/lib.inc.php3 +++ b/lib.inc.php3 @@ -654,6 +654,7 @@ window.parent.frames['nav'].location.replace('./left.php3?lang== 2) { - $sql = preg_replace('/\W' . $data[1] . '\./i', ' ' . $data[0] . '.', $sql); + $sql = preg_replace( + '/\W'.$data[1].'\./i', + ' '.$data[0].'.', + $sql); if (!isset($match)) { - $match = $data[0] . ' ' . $data[1]; + $match = $data[0].' '.$data[1]; } - $sql = str_replace($match, ' ' . $data[0], $sql); + + $sql = str_replace($match,' '.$data[0],$sql); } // end if } // end while @@ -785,9 +790,9 @@ window.parent.frames['nav'].location.replace('./left.php3?lang=" /> - + - +