diff --git a/ChangeLog b/ChangeLog
index 63956a53a..c4ef44260 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -11,6 +11,10 @@ $Source$
       some people seem to want this (based on patch #73516).
     * tbl_dump.php3, lang/*: Use other messages (thanks to Marc), replace
       slashes in filename with underscore to avoid possible problems.
+    * db_details_export.php3: Remember selected tables after exporting to a
+      file.
+    * libraries/common.lib.php3, tbl_dump.php3, sql.php3: Better way for
+      highliting tabs when including files (set $active_page for highliting).
 
 2003-05-14 Marc Delisle  <lem9@users.sourceforge.net>
     * libraries/defines_php.lib.php3: bug 736111: better GD2 detection
diff --git a/libraries/common.lib.php3 b/libraries/common.lib.php3
index 275992dfd..58dd3c189 100644
--- a/libraries/common.lib.php3
+++ b/libraries/common.lib.php3
@@ -1680,7 +1680,7 @@ h1    {font-family: sans-serif; font-size: large; font-weight: bold}
 
             if ((basename($PHP_SELF) == $link || 
                     $active || 
-                    (isset($GLOBALS['goto']) && (basename($PHP_SELF) == 'tbl_dump.php3' || basename($PHP_SELF) == 'read_dump.php3') && $GLOBALS['goto'] == $link)
+                    (isset($GLOBALS['active_page']) && $GLOBALS['active_page'] == $link)
                 ) && ($text != $GLOBALS['strEmpty'] && $text != $GLOBALS['strDrop'])) {
                 $bgcolor = 'silver';
             } else {
diff --git a/sql.php3 b/sql.php3
index f2cef507e..2f66c1361 100755
--- a/sql.php3
+++ b/sql.php3
@@ -642,6 +642,7 @@ else {
             if ($goto != 'main.php3') {
                 include('./header.inc.php3');
             }
+            $active_page = $goto;
             include('./' . $goto);
         } // end if file_exist
         else {
diff --git a/tbl_dump.php3 b/tbl_dump.php3
index 5c814d4d7..be86a250d 100755
--- a/tbl_dump.php3
+++ b/tbl_dump.php3
@@ -456,10 +456,13 @@ if (!empty($asfile)) {
                 }
             }
         }
+        $js_to_run = 'functions.js';
         include('./header.inc.php3');
         if (!isset($single)) {
+            $active_page = 'db_details_export.php3';
             include('./db_details_export.php3');
         } else {
+            $active_page = 'tbl_properties_export.php3';
             include('./tbl_properties_export.php3');
         }
     /* Send dump over HTTP */