]> git.joonet.de Git - adminer.git/commitdiff
Highlight to cookie
authorjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Fri, 13 Jul 2007 07:07:28 +0000 (07:07 +0000)
committerjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Fri, 13 Jul 2007 07:07:28 +0000 (07:07 +0000)
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@156 7c3ca157-0c34-0410-bff1-cbf682f78f5c

design.inc.php
sql.inc.php

index 748548ac9c918bee976a38fc4dbc52160783ba2e..1a0ccbf7a44d1c0b79f6f4f83a180248e5a10b29 100644 (file)
@@ -11,7 +11,7 @@ function page_header($title) {
 <title><?php echo lang('phpMinAdmin') . " - $title"; ?></title>
 <link rel="shortcut icon" type="image/x-icon" href="favicon.ico" />
 <link rel="stylesheet" type="text/css" href="default.css" />
-<?php if ($_SESSION["highlight"] == "jush") { ?>
+<?php if ($_COOKIE["highlight"] == "jush") { ?>
 <style type="text/css">@import url(http://jush.info/jush.css);</style>
 <script type="text/javascript" src="http://jush.info/jush.js" defer="defer"></script>
 <script type="text/javascript">window.onload = function () { jush.highlight_tag('pre'); }</script>
index 1f4239c86e908bf24d467d597a0d22ed8f48b4c8..a94f7001f4cbe3e8dc614d3e19238b9c10aca7c7 100644 (file)
@@ -1,6 +1,7 @@
 <?php
 if (isset($_POST["query"])) {
-       $_SESSION["highlight"] = $_POST["highlight"];
+       setcookie("highlight", $_POST["highlight"], strtotime("+1 month"));
+       $_COOKIE["highlight"] = $_POST["highlight"];
 }
 
 page_header(lang('SQL command'));
@@ -54,7 +55,7 @@ if ($_POST && $error) {
 <input type="hidden" name="token" value="<?php echo $token; ?>" />
 <input type="submit" value="<?php echo lang('Execute'); ?>" />
 <script type="text/javascript">
-document.write('<label for="highlight"><input type="checkbox" name="highlight" id="highlight" value="jush"<?php echo ($_SESSION["highlight"] == "jush" ? ' checked="checked"' : ''); ?> /><?php echo addcslashes(lang('Syntax highlighting'), "\r\n'\\"); ?></label>');
+document.write('<label for="highlight"><input type="checkbox" name="highlight" id="highlight" value="jush"<?php echo ($_COOKIE["highlight"] == "jush" ? ' checked="checked"' : ''); ?> /><?php echo addcslashes(lang('Syntax highlighting'), "\r\n'\\"); ?></label>');
 </script>
 </p>
 </form>