From 2a1c4096816b6cfc18ec286647ad769bc3243d5e Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Thu, 5 May 2011 16:53:12 +0200 Subject: [PATCH] Highlight SQL code in textarea --- .gitmodules | 3 ++ adminer/include/editing.inc.php | 2 +- adminer/static/default.css | 1 + adminer/static/editing.js | 52 ++++++++++++++++++++++++++------- adminer/static/functions.js | 38 ++---------------------- changes.txt | 1 + compile.php | 1 + externals/codemirror | 1 + todo.txt | 1 - 9 files changed, 53 insertions(+), 47 deletions(-) create mode 160000 externals/codemirror diff --git a/.gitmodules b/.gitmodules index 127b40b9..dfc215dc 100644 --- a/.gitmodules +++ b/.gitmodules @@ -13,3 +13,6 @@ [submodule "jquery-timepicker"] path = externals/jquery-timepicker url = git://github.com/trentrichardson/jQuery-Timepicker-Addon.git +[submodule "codemirror"] + path = externals/codemirror + url = http://marijnhaverbeke.nl/git/codemirror2 diff --git a/adminer/include/editing.inc.php b/adminer/include/editing.inc.php index 4d9daa6a..4e6f8945 100644 --- a/adminer/include/editing.inc.php +++ b/adminer/include/editing.inc.php @@ -106,7 +106,7 @@ function referencable_primary($self) { * @return null */ function textarea($name, $value, $rows = 10, $cols = 80) { - echo "