From 88a02d5cbe5180dbd357bb6625d992fd8b96b88b Mon Sep 17 00:00:00 2001
From: Sebastian Mendel <cybot_tm@users.sourceforge.net>
Date: Wed, 20 Sep 2006 16:16:51 +0000
Subject: [PATCH] remember navigation frame width

---
 ChangeLog |  1 +
 left.php  | 47 +++++++++++++++++++++++++++++++++++++++++++----
 2 files changed, 44 insertions(+), 4 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index 87842aee0..3d7d5e2fb 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -17,6 +17,7 @@ $Source$
       replaced $dblist with new PMA_List_Database class
     * libraries\database_interface.lib.php: added error reporting if dblist
       retrieval from information_schema fails
+    * left.php: remember navigation frame width
 
 2006-09-19 Marc Delisle  <lem9@users.sourceforge.net>
     * Documentation.html, libraries/footer.inc.php,
diff --git a/left.php b/left.php
index 31a847349..d3160f4c6 100644
--- a/left.php
+++ b/left.php
@@ -70,7 +70,10 @@ require_once './libraries/header_http.inc.php';
     <link rel="stylesheet" type="text/css"
         href="./css/phpmyadmin.css.php?<?php echo PMA_generate_common_url('', ''); ?>&amp;js_frame=left" />
     <script type="text/javascript" language="javascript">
-    //<![CDATA[
+    // <![CDATA[
+    var today = new Date();
+    var expires = new Date(today.getTime() + (56 * 86400000));
+
     function toggle(id, only_open) {
         var el = document.getElementById('subel' + id);
         if (! el) {
@@ -94,11 +97,47 @@ require_once './libraries/header_http.inc.php';
         }
         return true;
     }
-    //]]>
+
+    function PMA_saveFrameSize()
+    {
+        var frame_size = parent.document.getElementById('frame_navigation').offsetWidth
+        PMA_setCookie('frame_size', frame_size, expires);
+    }
+
+    function PMA_setFrameSize()
+    {
+        var frame_size = PMA_getCookie('frame_size');
+        parent.document.getElementById('mainFrameset').cols = frame_size + ',*';
+    }
+
+    function PMA_getCookie(name) {
+        var start = document.cookie.indexOf(name + "=");
+        var len = start + name.length + 1;
+        if ((!start) && (name != document.cookie.substring(0, name.length))) {
+            return null;
+        }
+        if (start == -1) {
+            return null;
+        }
+        var end = document.cookie.indexOf(";", len);
+        if (end == -1) {
+            end = document.cookie.length;
+        }
+        return unescape(document.cookie.substring(len,end));
+    }
+
+    function PMA_setCookie(name, value, expires, path, domain, secure) {
+        document.cookie = name + "=" + escape(value) +
+            ( (expires) ? ";expires=" + expires.toGMTString() : "") +
+            ( (path)    ? ";path=" + path : "") +
+            ( (domain)  ? ";domain=" + domain : "") +
+            ( (secure)  ? ";secure" : "");
+    }
+    // ]]>
     </script>
     <?php
     /**
-     * remove horizontal scroll bar bug in IE by forcing a vertical scroll bar
+     * remove horizontal scroll bar bug in IE 6 by forcing a vertical scroll bar
      */
     ?>
     <!--[if IE 6]>
@@ -112,7 +151,7 @@ require_once './libraries/header_http.inc.php';
     <![endif]-->
 </head>
 
-<body id="body_leftFrame">
+<body id="body_leftFrame" onload="PMA_setFrameSize();" onresize="PMA_saveFrameSize();">
 <?php
 require './libraries/left_header.inc.php';
 
