diff options
-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, |