Esanders has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/402028 )
Change subject: Match font and size to other source editors
......................................................................
Match font and size to other source editors
All of our other source editors (2003/06/10/17) use the
editfont classes.
Change-Id: Ic9f31eadaefba1af0c1d75171a46218abbd8bc88
---
M modules/jquery.codeEditor.less
1 file changed, 6 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CodeEditor
refs/changes/28/402028/1
diff --git a/modules/jquery.codeEditor.less b/modules/jquery.codeEditor.less
index 384a2b7..474db7d 100644
--- a/modules/jquery.codeEditor.less
+++ b/modules/jquery.codeEditor.less
@@ -75,6 +75,12 @@
.background-image-svg( '../images/find.svg', '../images/find.png' );
}
+.wikiEditor-ui .ace_editor {
+ /* Same as mw-editfont-monospace */
+ font-size: 13px;
+ font-family: monospace, monospace;
+}
+
.wikiEditor-ui-toolbar .group-codeeditor-style {
border-right: 0;
}
--
To view, visit https://gerrit.wikimedia.org/r/402028
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ic9f31eadaefba1af0c1d75171a46218abbd8bc88
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeEditor
Gerrit-Branch: master
Gerrit-Owner: Esanders <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
