mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-19 01:00:36 +00:00
b18ded0a13
We want CodeMirror to be usable outside WikiEditor. This commit moves the more critical extensions from the CodeMirrorWikiEditor class to the parent CodeMirror class. The linked tasks are only broadly related. In Ide716247e5 we will introduce a ResourceLoader module that makes CodeMirror usable on any textarea. Bug: T214989 Bug: T190108 Change-Id: Ib199cf700c3235812f7c9a9bcb3703917f0887de
16 lines
253 B
Plaintext
16 lines
253 B
Plaintext
@import 'mediawiki.mixins';
|
|
|
|
/* TODO: Replace with ext.CodeMirror.v6.less following CM6 upgrade */
|
|
|
|
.wikiEditor-ui .CodeMirror {
|
|
line-height: 1.5em;
|
|
padding: 0.1em;
|
|
clear: both;
|
|
box-sizing: border-box;
|
|
|
|
pre,
|
|
.CodeMirror-lines {
|
|
padding: 0;
|
|
}
|
|
}
|