From de5e18c2fdd5f92bce22fd8d6b2d71b064b016a6 Mon Sep 17 00:00:00 2001
From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Wed, 11 Jul 2007 11:19:16 +0000
Subject: [PATCH] Syntax highlighting

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@124 7c3ca157-0c34-0410-bff1-cbf682f78f5c
---
 lang.inc.php |  2 ++
 sql.inc.php  | 12 +++++++++++-
 2 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/lang.inc.php b/lang.inc.php
index 57011e3d..0debcc8e 100644
--- a/lang.inc.php
+++ b/lang.inc.php
@@ -104,6 +104,8 @@ function lang($idf = null, $number = null) {
 			'None of supported PHP extensions (%s) are available.' => 'Není dostupná žádná z podporovaných PHP extenzí (%s).',
 			'Sessions must be enabled.' => 'Session proměnné musí být povolené.',
 			'Session expired, please login again.' => 'Session vypršela, přihlašte se prosím znovu.',
+			'Text length' => 'Délka textů',
+			'Syntax highlighting' => 'Zvýrazňování syntaxe',
 		),
 	);
 	if (!isset($idf)) {
diff --git a/sql.inc.php b/sql.inc.php
index 2bdc6655..b3a8cfa2 100644
--- a/sql.inc.php
+++ b/sql.inc.php
@@ -1,4 +1,8 @@
 <?php
+if (isset($_POST["query"])) {
+	$_SESSION["highlight"] = $_POST["highlight"];
+}
+
 page_header(lang('SQL command'));
 
 if ($_POST && $error) {
@@ -45,7 +49,13 @@ if ($_POST && $error) {
 
 <form action="" method="post">
 <p><textarea name="query" rows="20" cols="80"><?php echo htmlspecialchars($_POST["query"]); ?></textarea></p>
-<p><input type="hidden" name="token" value="<?php echo $token; ?>" /><input type="submit" value="<?php echo lang('Execute'); ?>" /></p>
+<p>
+<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>');
+</script>
+</p>
 </form>
 
 <?php