Zhuyifei1999 has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/368603 )
Change subject: view.js: Set electricChars: ')' for SQL
......................................................................
view.js: Set electricChars: ')' for SQL
This should, and per my testing, automatically dedent the line
when ')' is typed.
Bug: T101424
Change-Id: I10b1de3712c4022a9d636f4ddcae92b40af137c5
---
M quarry/web/static/js/query/view.js
1 file changed, 1 insertion(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/analytics/quarry/web
refs/changes/03/368603/1
diff --git a/quarry/web/static/js/query/view.js
b/quarry/web/static/js/query/view.js
index d0df447..5b0dc9c 100644
--- a/quarry/web/static/js/query/view.js
+++ b/quarry/web/static/js/query/view.js
@@ -8,6 +8,7 @@
.replace(/>/g, '>');
}
+ CodeMirror.extendMode( 'sql', { electricChars: ')' } );
var editor = CodeMirror.fromTextArea( $("#code")[0], {
mode: "text/x-mariadb",
theme: "monokai",
--
To view, visit https://gerrit.wikimedia.org/r/368603
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I10b1de3712c4022a9d636f4ddcae92b40af137c5
Gerrit-PatchSet: 1
Gerrit-Project: analytics/quarry/web
Gerrit-Branch: master
Gerrit-Owner: Zhuyifei1999 <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
