Bartosz Dziewoński has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/401583 )
Change subject: Revert "Remove font-size now it is set by editfont" (temporarily) ...................................................................... Revert "Remove font-size now it is set by editfont" (temporarily) Temporary revert until we are ready to announce the change of the font size in the edit field to the users of Wikimedia wikis. This reverts commit 9960ed601fb0258bde0d1a3d16af4f8613c4f26f. Bug: T182320 Change-Id: I6829f6a194a7e0971123bd1dcfaac485cdb94b64 --- M resources/modules/ve-cm/ve.ui.CodeMirror.init.less 1 file changed, 1 insertion(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CodeMirror refs/changes/83/401583/1 diff --git a/resources/modules/ve-cm/ve.ui.CodeMirror.init.less b/resources/modules/ve-cm/ve.ui.CodeMirror.init.less index 4da2457..6db9a8d 100644 --- a/resources/modules/ve-cm/ve.ui.CodeMirror.init.less +++ b/resources/modules/ve-cm/ve.ui.CodeMirror.init.less @@ -5,6 +5,7 @@ position: absolute; top: 0; left: 0; + font-size: 1.17216em; line-height: 1.5em; width: 100%; -webkit-box-sizing: border-box; -- To view, visit https://gerrit.wikimedia.org/r/401583 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I6829f6a194a7e0971123bd1dcfaac485cdb94b64 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/CodeMirror Gerrit-Branch: wmf/1.31.0-wmf.15 Gerrit-Owner: Bartosz Dziewoński <matma....@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits