mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-15 15:31:42 +00:00
cec399b4e3
Due to using bold as a highlight style, the VE overlay technique will only work with monospaced fonts. Change-Id: I33e3e07cf0f3d8e25dd35623286eedf28ba20ae1 |
||
---|---|---|
.. | ||
ve.ui.CodeMirror.init.js | ||
ve.ui.CodeMirror.init.less | ||
ve.ui.CodeMirrorAction.js | ||
ve.ui.CodeMirrorTool.js |