Jakob has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/355209 )
Change subject: Indent with a single tab instead of two spaces on new lines.
......................................................................
Indent with a single tab instead of two spaces on new lines.
Currently new lines are indented with two spaces, but pressing the
tab key produces a tab with a tab size of 4 which is not very
consistent. This patch makes tab-indentation the default for new lines.
Change-Id: I23d7f23c2afd19fbe3fc04cdaaf41cee5422dc04
---
M wikibase/queryService/ui/editor/Editor.js
1 file changed, 2 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/wikidata/query/gui
refs/changes/09/355209/1
diff --git a/wikibase/queryService/ui/editor/Editor.js
b/wikibase/queryService/ui/editor/Editor.js
index 7e1e2f2..8340945 100644
--- a/wikibase/queryService/ui/editor/Editor.js
+++ b/wikibase/queryService/ui/editor/Editor.js
@@ -9,6 +9,8 @@
var CODEMIRROR_DEFAULTS = {
'lineNumbers': true,
'matchBrackets': true,
+ 'indentUnit': 4,
+ 'indentWithTabs': true,
'mode': 'sparql',
'extraKeys': {
'Ctrl-Space': 'autocomplete'
--
To view, visit https://gerrit.wikimedia.org/r/355209
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I23d7f23c2afd19fbe3fc04cdaaf41cee5422dc04
Gerrit-PatchSet: 1
Gerrit-Project: wikidata/query/gui
Gerrit-Branch: master
Gerrit-Owner: Jakob <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
