mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-24 19:43:16 +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
35 lines
686 B
Plaintext
35 lines
686 B
Plaintext
.cm-matchingBracket,
|
|
.cm-focused .cm-matchingBracket {
|
|
background-color: #eee;
|
|
box-shadow: inset 0 0 1px 1px #999;
|
|
font-weight: bold;
|
|
}
|
|
|
|
.cm-special-char-nbsp {
|
|
color: #888;
|
|
}
|
|
|
|
.cm-tooltip-fold {
|
|
cursor: pointer;
|
|
line-height: 1.2;
|
|
padding: 0 1px;
|
|
}
|
|
|
|
.cm-bidi-isolate {
|
|
/* @noflip */
|
|
direction: ltr;
|
|
unicode-bidi: isolate;
|
|
}
|
|
|
|
// Hide all buttons except CodeMirror on read only pages (T301615)
|
|
// This is the same hack that CodeEditor uses to customize the toolbar.
|
|
// WikiEditor should be updated to better handle read only pages (T188817).
|
|
.ext-codemirror-readonly {
|
|
.wikiEditor-section-secondary,
|
|
.group:not( .group-codemirror ),
|
|
.tabs,
|
|
.sections {
|
|
display: none;
|
|
}
|
|
}
|