Alex Monk has uploaded a new change for review.
https://gerrit.wikimedia.org/r/80843
Change subject: Save real tabs
......................................................................
Save real tabs
Bug: 39616
Change-Id: I64c3b9b53f1265f5b9c19edb480040113fa85590
---
M modules/jquery.codeEditor.js
1 file changed, 3 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CodeEditor
refs/changes/43/80843/1
diff --git a/modules/jquery.codeEditor.js b/modules/jquery.codeEditor.js
index fccc850..70b0c3a 100644
--- a/modules/jquery.codeEditor.js
+++ b/modules/jquery.codeEditor.js
@@ -180,6 +180,9 @@
session.setUseWorker(false);
session.setMode(new (require("ace/mode/" + lang).Mode));
+ // Use proper tabs
+ session.setUseSoftTabs( false );
+
// Force the box to resize horizontally to match in
future :D
var resize = function() {
container.width(box.width());
--
To view, visit https://gerrit.wikimedia.org/r/80843
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I64c3b9b53f1265f5b9c19edb480040113fa85590
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeEditor
Gerrit-Branch: master
Gerrit-Owner: Alex Monk <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
