mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-30 14:33:06 +00:00
4a3c2dcad5
I had to make some CSS selectors more specific, because the library changed .CodeMirror pre to .CodeMirror pre.CodeMirror-line, .CodeMirror pre.CodeMirror-line-like This is only relevant for entire lines (implemented as <pre> elements). Most of the custom CSS is for characters, not lines. In my tests in the Wikitext editor as well as VisualEditor I could not spot any difference between the old and new version. Bug: T258999 Change-Id: I6f0f030f972838727f3ef220feb105264f122798 |
||
---|---|---|
.. | ||
css.js |