[GNUnet-SVN] r14567 - in gauger: . css js

[gnunet]

Author: bartpolot
Date: 2011-03-02 19:10:00 +0100 (Wed, 02 Mar 2011)
New Revision: 14567

Added:
   gauger/js/jCookie.js
Modified:
   gauger/css/style.css
   gauger/template.php
Log:
Added UI persistency


Modified: gauger/css/style.css
===================================================================
--- gauger/css/style.css        2011-03-02 17:32:43 UTC (rev 14566)
+++ gauger/css/style.css        2011-03-02 18:10:00 UTC (rev 14567)
@@ -138,7 +138,7 @@
     background:         #D3D3D3;
 }*/
 
-#instant_search {
+#instant_search_metrics {
     width:              133px;
     height:             14px;
     border:             solid 1px #D3D3D3;

Added: gauger/js/jCookie.js
===================================================================
--- gauger/js/jCookie.js                                (rev 0)
+++ gauger/js/jCookie.js        2011-03-02 18:10:00 UTC (rev 14567)
@@ -0,0 +1,96 @@
+/**
+ * Cookie plugin
+ *
+ * Copyright (c) 2006 Klaus Hartl (stilbuero.de)
+ * Dual licensed under the MIT and GPL licenses:
+ * http://www.opensource.org/licenses/mit-license.php
+ * http://www.gnu.org/licenses/gpl.html
+ *
+ */
+
+/**
+ * Create a cookie with the given name and value and other optional parameters.
+ *
+ * @example $.cookie('the_cookie', 'the_value');
+ * @desc Set the value of a cookie.
+ * @example $.cookie('the_cookie', 'the_value', { expires: 7, path: '/', 
domain: 'jquery.com', secure: true });
+ * @desc Create a cookie with all available options.
+ * @example $.cookie('the_cookie', 'the_value');
+ * @desc Create a session cookie.
+ * @example $.cookie('the_cookie', null);
+ * @desc Delete a cookie by passing null as value. Keep in mind that you have 
to use the same path and domain
+ *       used when the cookie was set.
+ *
+ * @param String name The name of the cookie.
+ * @param String value The value of the cookie.
+ * @param Object options An object literal containing key/value pairs to 
provide optional cookie attributes.
+ * @option Number|Date expires Either an integer specifying the expiration 
date from now on in days or a Date object.
+ *                             If a negative value is specified (e.g. a date 
in the past), the cookie will be deleted.
+ *                             If set to null or omitted, the cookie will be a 
session cookie and will not be retained
+ *                             when the the browser exits.
+ * @option String path The value of the path atribute of the cookie (default: 
path of page that created the cookie).
+ * @option String domain The value of the domain attribute of the cookie 
(default: domain of page that created the cookie).
+ * @option Boolean secure If true, the secure attribute of the cookie will be 
set and the cookie transmission will
+ *                        require a secure protocol (like HTTPS).
+ * @type undefined
+ *
+ * @name $.cookie
+ * @cat Plugins/Cookie
+ * @author Klaus Hartl/address@hidden
+ */
+
+/**
+ * Get the value of a cookie with the given name.
+ *
+ * @example $.cookie('the_cookie');
+ * @desc Get the value of a cookie.
+ *
+ * @param String name The name of the cookie.
+ * @return The value of the cookie.
+ * @type String
+ *
+ * @name $.cookie
+ * @cat Plugins/Cookie
+ * @author Klaus Hartl/address@hidden
+ */
+jQuery.cookie = function(name, value, options) {
+    if (typeof value != 'undefined') { // name and value given, set cookie
+        options = options || {};
+        if (value === null) {
+            value = '';
+            options.expires = -1;
+        }
+        var expires = '';
+        if (options.expires && (typeof options.expires == 'number' || 
options.expires.toUTCString)) {
+            var date;
+            if (typeof options.expires == 'number') {
+                date = new Date();
+                date.setTime(date.getTime() + (options.expires * 24 * 60 * 60 
* 1000));
+            } else {
+                date = options.expires;
+            }
+            expires = '; expires=' + date.toUTCString(); // use expires 
attribute, max-age is not supported by IE
+        }
+        // CAUTION: Needed to parenthesize options.path and options.domain
+        // in the following expressions, otherwise they evaluate to undefined
+        // in the packed version for some reason...
+        var path = options.path ? '; path=' + (options.path) : '';
+        var domain = options.domain ? '; domain=' + (options.domain) : '';
+        var secure = options.secure ? '; secure' : '';
+        document.cookie = [name, '=', encodeURIComponent(value), expires, 
path, domain, secure].join('');
+    } else { // only name given, get cookie
+        var cookieValue = null;
+        if (document.cookie && document.cookie != '') {
+            var cookies = document.cookie.split(';');
+            for (var i = 0; i < cookies.length; i++) {
+                var cookie = jQuery.trim(cookies[i]);
+                // Does this cookie string begin with the name we want?
+                if (cookie.substring(0, name.length + 1) == (name + '=')) {
+                    cookieValue = 
decodeURIComponent(cookie.substring(name.length + 1));
+                    break;
+                }
+            }
+        }
+        return cookieValue;
+    }
+};
\ No newline at end of file

Modified: gauger/template.php
===================================================================
--- gauger/template.php 2011-03-02 17:32:43 UTC (rev 14566)
+++ gauger/template.php 2011-03-02 18:10:00 UTC (rev 14567)
@@ -28,6 +28,7 @@
         <link href="css/smoothness/jquery-ui-1.8.9.custom.css" 
rel="stylesheet" type="text/css"/> 
         <script type="text/javascript" src="js/jquery-1.4.4.min.js"></script>
         <script type="text/javascript" 
src="js/jquery-ui-1.8.9.custom.min.js"></script>
+        <script type="text/javascript" src="js/jCookie.js"></script>
 
         <link rel="shortcut icon" href="images/favicon.png" />
         <link href="css/style.css" type="text/css" rel="stylesheet">
@@ -209,25 +210,40 @@
                 $( ".metric_category_header" ).click(function () {
                     ul = $(this).parents(".metric").find("ul");
                     ul.toggle();
-                    if(ul.is(':visible'))
+                    if(ul.is(':visible')) {
                         $(this).find("img").attr("src", "images/contract.png");
-                    else
+                        $.cookie(":::"+ul.attr("id"), "visible");
+                    } else {
                         $(this).find("img").attr("src", "images/expand.png");
+                        $.cookie(":::"+ul.attr("id"), "hidden");
+                    }
                 });
-                $( "#instant_search" 
).each(function(){this.value="Search...";});
-                $( "#instant_search" ).focus(function(){
+                
+                $( "#instant_search_metrics" ).focus(function(){
                     if(this.value=="Search..."){
                         this.value="";
                     }
                     inst_search = setInterval(monitor_search, 200);
                     monitor_search();
                 });
-                $( "#instant_search" ).blur(function(){
+                $( "#instant_search_metrics" ).blur(function(){
                     if(this.value==""){
                         this.value="Search...";
                     }
                     clearInterval(inst_search);
                 });
+                $("ul").each(function(){
+                    if($.cookie(":::"+this.id) == "hidden") {
+                        $(this).toggle()
+                        $(this).parents(".metric").find("img").attr("src", 
"images/expand.png");
+                    }
+                });
+                if($.cookie("instant_search_metrics")){
+                    $( "#instant_search_metrics" 
).val($.cookie("instant_search_metrics"));
+                    monitor_search();
+                } else {
+                    $( "#instant_search_metrics" ).val("Search...");
+                }
         });
 
         function get_command(element) {
@@ -236,9 +252,10 @@
         }
 
         function monitor_search() {
-            text = $( "#instant_search" ).val();
+            text = $( "#instant_search_metrics" ).val();
             if(text == last_search) return;
             last_search = text;
+            $.cookie("instant_search_metrics", text);
             $( "#metrics li" ).each(function(){
                if($(this).text().indexOf(text) == -1){
                      $(this).hide();
@@ -272,7 +289,7 @@
             </ul>
             <div id="metrics">
             <h2>Metrics</h2>
-            <input id="instant_search"></input>
+            <input id="instant_search_metrics"></input>
             <?php foreach ($metrics_c as $category => $counters): ?>
                 <div class="metric">
                 <div class="metric_category_header">
@@ -312,7 +329,7 @@
         </div>
         <script type="text/javascript">
             <?php if(get_param('category')): ?>
-             $(" #metrics ul ").not("#<?php echo get_param('category') 
?>").hide();
+            $(" #metrics ul ").not("#<?php echo get_param('category') 
?>").hide();
             <?php endif; ?>
         </script>
     </body>