]> git.joonet.de Git - adminer.git/commitdiff
Syntax highlighting
authorjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Wed, 11 Jul 2007 11:19:16 +0000 (11:19 +0000)
committerjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Wed, 11 Jul 2007 11:19:16 +0000 (11:19 +0000)
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@124 7c3ca157-0c34-0410-bff1-cbf682f78f5c

lang.inc.php
sql.inc.php

index 57011e3ddc25db28125c8efd138b442860a802f0..0debcc8ed4b8ddc924ac43178ec71979ad7ff2ec 100644 (file)
@@ -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)) {
index 2bdc66556dd2f8d948dc41a573ba4a65203828ac..b3a8cfa236c4a0e8bb7eaedb973773eb2750c3fa 100644 (file)
@@ -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