diff options
author | Dan Ungureanu <udan1107@gmail.com> | 2015-07-13 20:22:30 +0300 |
---|---|---|
committer | Dan Ungureanu <udan1107@gmail.com> | 2015-07-15 16:48:13 +0300 |
commit | eef994f122121253e2bea856f7259b2a4578bc64 (patch) | |
tree | c3dadccc588c16ea6e3b4347b60cbf11c8976c88 /js/functions.js | |
parent | ea015a53890954837f2207734224ec3134a8e5d6 (diff) |
Added lint.
Signed-off-by: Dan Ungureanu <udan1107@gmail.com>
Diffstat (limited to 'js/functions.js')
-rw-r--r-- | js/functions.js | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/js/functions.js b/js/functions.js index 531994079a..b889eeedee 100644 --- a/js/functions.js +++ b/js/functions.js @@ -112,6 +112,17 @@ function PMA_getSQLEditor($textarea, options, resize) { mode: "text/x-mysql", lineWrapping: true }; + + if (CodeMirror.sqlLint) { + $.extend(defaults, { + gutters: ["CodeMirror-lint-markers"], + lint: { + "getAnnotations": CodeMirror.sqlLint, + "async": true, + } + }); + } + $.extend(true, defaults, options); // create CodeMirror editor |