From 90b09fc60f419b33e1607051353fd053bc0c48c4 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Mon, 22 Jul 2013 11:45:09 -0700
Subject: [PATCH] Highlight code in <textarea>

---
 adminer/include/editing.inc.php | 3 ++-
 adminer/static/editing.js       | 6 ++++++
 adminer/static/functions.js     | 3 +++
 externals/jush                  | 2 +-
 4 files changed, 12 insertions(+), 2 deletions(-)

diff --git a/adminer/include/editing.inc.php b/adminer/include/editing.inc.php
index 81328eca..49b80d17 100644
--- a/adminer/include/editing.inc.php
+++ b/adminer/include/editing.inc.php
@@ -117,7 +117,8 @@ function referencable_primary($self) {
 * @return null
 */
 function textarea($name, $value, $rows = 10, $cols = 80) {
-	echo "<textarea name='$name' rows='$rows' cols='$cols' class='sqlarea' spellcheck='false' wrap='off' onkeydown='return textareaKeydown(this, event);'>"; // spellcheck, wrap - not valid before HTML5
+	global $jush;
+	echo "<textarea name='$name' rows='$rows' cols='$cols' class='sqlarea jush-$jush' spellcheck='false' wrap='off' onkeydown='return textareaKeydown(this, event);'>"; // spellcheck, wrap - not valid before HTML5
 	if (is_array($value)) {
 		foreach ($value as $val) { // not implode() to save memory
 			echo h($val[0]) . "\n\n\n"; // $val == array($query, $time)
diff --git a/adminer/static/editing.js b/adminer/static/editing.js
index d1edd275..4d301de4 100644
--- a/adminer/static/editing.js
+++ b/adminer/static/editing.js
@@ -27,6 +27,12 @@ function bodyLoad(version) {
 					jush.custom_links = jushLinks;
 				}
 				jush.highlight_tag('code', 0);
+				var tags = document.getElementsByTagName('textarea');
+				for (var i = 0; i < tags.length; i++) {
+					if (/(^|\s)jush-/.test(tags[i].className)) {
+						jush.textarea(tags[i]);
+					}
+				}
 			}
 		};
 		script.onreadystatechange = function () {
diff --git a/adminer/static/functions.js b/adminer/static/functions.js
index 3e8c0683..824ba929 100644
--- a/adminer/static/functions.js
+++ b/adminer/static/functions.js
@@ -366,6 +366,9 @@ function getTarget(event) {
 */
 function bodyKeydown(event, button) {
 	var target = getTarget(event);
+	if (target.jushTextarea) {
+		target = target.jushTextarea;
+	}
 	if (isCtrl(event) && (event.keyCode == 13 || event.keyCode == 10) && isTag(target, 'select|textarea|input')) { // 13|10 - Enter
 		target.blur();
 		if (button) {
diff --git a/externals/jush b/externals/jush
index 9493dcc0..06a7c7d7 160000
--- a/externals/jush
+++ b/externals/jush
@@ -1 +1 @@
-Subproject commit 9493dcc08e23313562d6860d3fa0592e40ed2cf8
+Subproject commit 06a7c7d73e2d031a493d1f07d37733aba94399f2