From 8d9c3876bc661b885c9ae5333a3fa3c854fd92a2 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Mon, 22 Dec 2003 19:35:28 +0000
Subject: [PATCH] bug 863713

---
 db_datadict.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/db_datadict.php b/db_datadict.php
index 7938dc3d4..025e39bfd 100644
--- a/db_datadict.php
+++ b/db_datadict.php
@@ -305,17 +305,17 @@ echo "\n";
 <!--
 function printPage()
 {
-    document.all.print.style.visibility = 'hidden';
+    document.getElementById('print').style.visibility = 'hidden';
     // Do print the page
     if (typeof(window.print) != 'undefined') {
         window.print();
     }
-    document.all.print.style.visibility = '';
+    document.getElementById('print').style.visibility = '';
 }
 //-->
 </script>
 <?php
-echo '<br /><br />&nbsp;<input type="button" style="visibility: ; width: 100px; height: 25px" name="print" value="' . $strPrint . '" onclick="printPage()">' . "\n";
+echo '<br /><br />&nbsp;<input type="button" style="visibility: ; width: 100px; height: 25px" id="print" value="' . $strPrint . '" onclick="printPage()">' . "\n";
 
 require_once('./footer.inc.php');
 ?>