diff options
author | William Desportes <williamdes@wdes.fr> | 2022-11-12 16:16:12 +0300 |
---|---|---|
committer | William Desportes <williamdes@wdes.fr> | 2022-11-12 16:17:30 +0300 |
commit | e04744632331b1da6f4eefb7020b3269e8c96244 (patch) | |
tree | fe65f6691f61089afe1397e78e32394fb066e699 | |
parent | ed00df955f79b3047cf1a906161b0de55f799903 (diff) |
Add a comment to help code search about cm-s-pma
Signed-off-by: William Desportes <williamdes@wdes.fr>
-rw-r--r-- | js/src/console.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/js/src/console.js b/js/src/console.js index 1b1acd4e48..f410328547 100644 --- a/js/src/console.js +++ b/js/src/console.js @@ -544,6 +544,7 @@ var ConsoleInput = { if (ConsoleInput.codeMirror) { // eslint-disable-next-line new-cap ConsoleInput.inputs.console = CodeMirror($('#pma_console').find('.console_query_input')[0], { + // style: cm-s-pma theme: 'pma', mode: 'text/x-sql', lineWrapping: true, @@ -562,6 +563,7 @@ var ConsoleInput = { if ($('#pma_bookmarks').length !== 0) { // eslint-disable-next-line new-cap ConsoleInput.inputs.bookmark = CodeMirror($('#pma_console').find('.bookmark_add_input')[0], { + // style: cm-s-pma theme: 'pma', mode: 'text/x-sql', lineWrapping: true, |