From 986132a4ad2f310d76bebff0120cd41bbb15e995 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Chapeaux?= <lolo@phpheaven.net>
Date: Fri, 17 Aug 2001 14:22:13 +0000
Subject: [PATCH] Added a style for the number of tables per database

---
 left.js   |  3 +++
 left.php3 | 42 +++++++++++++++++++++++++-----------------
 2 files changed, 28 insertions(+), 17 deletions(-)

diff --git a/left.js b/left.js
index 3246d4f73..916d8ccc0 100644
--- a/left.js
+++ b/left.js
@@ -220,6 +220,7 @@ if (capable) {
       var lstyle = '<style type="text/css">'
                  + 'div {color: #000000;}'
                  + '.heada {font-family: ' + fontFamily + '; font-size: 10pt}'
+                 + '.heada_cnt {font-family: ' + fontFamily + '; font-size: 8pt}'
                  + '.parent {font-family: ' + fontFamily + '; color: #000000; text-decoration:none; display: block}'
                  + '.child {font-family: ' + fontFamily + '; font-size: 8pt; color: #333399; text-decoration:none; display: none}'
                  + '.item, .item:active, .item:hover, .tblItem, .tblItem:active {color: #333399; text-decoration: none; font-size: 8pt;}'
@@ -231,6 +232,7 @@ if (capable) {
       write('<style type="text/css">');
       write('div {color: #000000; }');
       write('.heada {font-family: ' + fontFamily + '; font-size: 10pt}');
+      write('.heada_cnt {font-family: ' + fontFamily + '; font-size: 8pt}');
       if (isIE4) {
         write('.parent {font-family: ' + fontFamily + '; color: #000000; text-decoration: none; display: block}');
         write('.child {font-family: ' + fontFamily + '; font-size: 8pt; color: #333399; text-decoration: none; display: none}');
@@ -251,6 +253,7 @@ else {
     write('<style type="text/css">');
     write('div {color: #000000; }');
     write('.heada {font-family: ' + fontFamily + '; font-size: 10pt}');
+    write('.heada_cnt {font-family: ' + fontFamily + '; font-size: 8pt}');
     write('.parent {font-family: ' + fontFamily + '; color: #000000; text-decoration: none}');
     write('.child {font-family: ' + fontFamily + '; font-size: 8pt; color: #333399; text-decoration: none}');
     write('.item, .item:active, .item:hover, .tblItem, .tblItem:active {color: #333399; text-decoration: none}');
diff --git a/left.php3 b/left.php3
index d2ad9b648..6fe82542d 100755
--- a/left.php3
+++ b/left.php3
@@ -109,6 +109,7 @@ else if ($num_dbs == 1) {
     body {font-family: <?php echo $left_font_family; ?>; font-size: 10pt}
     div {color: #000000}
     .heada {font-family: <?php echo $left_font_family; ?>; font-size: 10pt}
+    .heada_cnt {font-family: <?php echo $left_font_family; ?>; font-size: 8pt}
     .parent {font-family: <?php echo $left_font_family; ?>; color: #000000; text-decoration: none}
     .child {font-family: <?php echo $left_font_family; ?>; font-size: 8pt; color: #333399; text-decoration: none}
     .item, .item:active, .item:hover, .tblItem, .tblItem:active {color: #333399; text-decoration: none}
@@ -126,6 +127,7 @@ else {
     body {font-family: <?php echo $left_font_family; ?>; font-size: 10pt}
     div {color: #000000}
     .heada {font-family: <?php echo $left_font_family; ?>; font-size: 10pt}
+    .heada_cnt {font-family: <?php echo $left_font_family; ?>; font-size: 8pt}
     //-->
     </style>
     <?php
@@ -167,13 +169,16 @@ if ($num_dbs > 1) {
         if (!empty($db_start) && $db == $db_start) {
             $selected_db = $j;
         }
-        $tables           = @mysql_list_tables($db);
-        $num_tables       = @mysql_numrows($tables);
-        $common_url_query = 'lang=' . $lang
-                          . '&server=' . urlencode($server)
-                          . '&db=' . urlencode($db);
-
-        if ($num_tables) { $num_tables_disp = $num_tables; } else { $num_tables_disp = "-"; }
+        $tables              = @mysql_list_tables($db);
+        $num_tables          = @mysql_numrows($tables);
+        $common_url_query    = 'lang=' . $lang
+                             . '&server=' . urlencode($server)
+                             . '&db=' . urlencode($db);
+        if ($num_tables) {
+            $num_tables_disp = $num_tables;
+        } else {
+            $num_tables_disp = '-';
+        }
 
         // Displays the database name
         echo "\n";
@@ -194,7 +199,7 @@ if ($num_dbs > 1) {
         echo "\n";
         ?>
         <a class="item" href="db_details.php3?<?php echo $common_url_query; ?>" onclick="expandBase('el<?php echo $j; ?>', false);">
-            <font color="black" class="heada"><?php echo $db; ?> (<?php echo $num_tables_disp; ?>)</font></a>
+            <font color="black" class="heada"><?php echo $db; ?>&nbsp;<span class="heada_cnt">(<?php echo $num_tables_disp; ?>)</span></font></a>
     </div>
 
     <div id="el<?php echo $j;?>Child" class="child" style="margin-bottom: 5px">
@@ -244,20 +249,23 @@ else if ($num_dbs == 1) {
     } else {
         $db  = $dblist[0];
     }
-    $tables           = @mysql_list_tables($db);
-    $num_tables       = @mysql_numrows($tables);
-    $common_url_query = 'lang=' . $lang
-                      . '&server=' . urlencode($server)
-                      . '&db=' . urlencode($db);
-
-    if ($num_tables) { $num_tables_disp = $num_tables; } else { $num_tables_disp = "-"; }
-
+    $tables              = @mysql_list_tables($db);
+    $num_tables          = @mysql_numrows($tables);
+    $common_url_query    = 'lang=' . $lang
+                         . '&server=' . urlencode($server)
+                         . '&db=' . urlencode($db);
+    if ($num_tables) {
+        $num_tables_disp = $num_tables;
+    } else {
+        $num_tables_disp = '-';
+    }
+    
     // Displays the database name
     echo "\n";
     ?>
     <div id="el2Parent" class="parent">
         <a class="item" href="db_details.php3?<?php echo $common_url_query; ?>">
-            <font color="black" class="heada"><?php echo $db; ?> (<?php echo $num_tables_disp; ?>)</font></a>
+            <font color="black" class="heada"><?php echo $db; ?>&nbsp;<span class="heada_cnt">(<?php echo $num_tables_disp; ?>)</span></font></a>
     </div>
     <div id="el2Child" class="child" style="margin-bottom: 5px">
     <?php