gnunet-svn
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[GNUnet-SVN] r14447 - gauger


From: gnunet
Subject: [GNUnet-SVN] r14447 - gauger
Date: Thu, 17 Feb 2011 17:53:26 +0100

Author: bartpolot
Date: 2011-02-17 17:53:26 +0100 (Thu, 17 Feb 2011)
New Revision: 14447

Added:
   gauger/template_menu.php
Modified:
   gauger/template.php
Log:
Changed, refactored menu


Modified: gauger/template.php
===================================================================
--- gauger/template.php 2011-02-17 16:45:40 UTC (rev 14446)
+++ gauger/template.php 2011-02-17 16:53:26 UTC (rev 14447)
@@ -190,34 +190,7 @@
     <body>
         <div Id="debug"></div>
         <div class="header">
-            <div class="advanced_menu">
-                <a href="#" id="default_range" >Default Range</a>
-                <div class="slider_control" id="default_range_control">
-                    <div class="slider-range" id="default_range_slider"></div>
-                    <div class="left-range"><?php echo get_session('x_min', 
get_session('xrange_min', '0')) ?></div>
-                    <div class="right-range"><?php echo get_session('x_max', 
get_session('xrange_max', '0')) ?></div>
-                    <div class="auto_range">
-                        <input class="auto_min" type="checkbox" <?php 
if(get_session('x_min_a')) echo 'checked="checked"'?>/>
-                        Auto
-                        <input class="auto_max" type="checkbox" <?php 
if(get_session('x_max_a')) echo 'checked="checked"'?>/>
-                    </div>
-                </div> | 
-                <a href="#" id="change_origin" >Change Origin</a>
-                <div class="slider_control" id="change_origin_control">
-                    <div class="slider" id="change_origin_slider"></div>
-                    <div class="right-range"><?php echo get_session('y_min', 
'0') ?></div>
-                </div> | 
-                <a href="#" id="change_size" >Change img size</a>
-                <div class="slider_control" id="change_size_control">
-                    <div class="slider-container"><div class="slider" 
id="change_size_x_slider"></div></div>
-                    <div id="left-range-x">X</div>
-                    <div class="left-range left-grey"><?php echo 
get_session('png_x_size', '640') ?></div>
-                    <div id="right-range-y">Y</div>
-                    <div class="right-range"><?php echo 
get_session('png_y_size', '480') ?></div>
-                    <div class="slider" id="change_size_y_slider"></div>
-                </div> | 
-                <a href="?logout=1">Log out</a>
-            </div>
+            <?php include "template_menu.php" ?>
             <img src="l.png" /><p>Gauger, performance recording tool</p>
         </div>
         <div class="header-shadow"></div>

Added: gauger/template_menu.php
===================================================================
--- gauger/template_menu.php                            (rev 0)
+++ gauger/template_menu.php    2011-02-17 16:53:26 UTC (rev 14447)
@@ -0,0 +1,28 @@
+            <div class="advanced_menu">
+                <a href="#" id="default_range" >Default Range</a>
+                <div class="slider_control" id="default_range_control">
+                    <div class="slider-range" id="default_range_slider"></div>
+                    <div class="left-range"><?php echo get_session('x_min', 
get_session('xrange_min', '0')) ?></div>
+                    <div class="right-range"><?php echo get_session('x_max', 
get_session('xrange_max', '0')) ?></div>
+                    <div class="auto_range">
+                        <input class="auto_min" type="checkbox" <?php 
if(get_session('x_min_a')) echo 'checked="checked"'?>/>
+                        Auto
+                        <input class="auto_max" type="checkbox" <?php 
if(get_session('x_max_a')) echo 'checked="checked"'?>/>
+                    </div>
+                </div> | 
+                <a href="#" id="change_origin" >Change Origin</a>
+                <div class="slider_control" id="change_origin_control">
+                    <div class="slider" id="change_origin_slider"></div>
+                    <div class="right-range"><?php echo get_session('y_min', 
'0') ?></div>
+                </div> | 
+                <a href="#" id="change_size" >Change Size</a>
+                <div class="slider_control" id="change_size_control">
+                    <div class="slider-container"><div class="slider" 
id="change_size_x_slider"></div></div>
+                    <div id="left-range-x">X</div>
+                    <div class="left-range left-grey"><?php echo 
get_session('png_x_size', '640') ?></div>
+                    <div id="right-range-y">Y</div>
+                    <div class="right-range"><?php echo 
get_session('png_y_size', '480') ?></div>
+                    <div class="slider" id="change_size_y_slider"></div>
+                </div> | 
+                <a href="?logout=1">Reset Session</a>
+            </div>




reply via email to

[Prev in Thread] Current Thread [Next in Thread]