Thiemo Kreuz 4a3c2dcad5 Update CodeMirror to 5.58.3 ... 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		2020-12-07 20:20:49 +00:00
..
.eslintrc.json	Remove obsolete aliases from closures	2018-11-12 13:19:41 +00:00
ve.ui.CodeMirror.init.js	VE: Add explicit dependency on targetLoader	2020-06-30 22:47:41 +01:00
ve.ui.CodeMirror.init.less	Update CodeMirror to 5.58.3	2020-12-07 20:20:49 +00:00
ve.ui.CodeMirrorAction.js	Load pluginModules in CodeMirrorAction class	2020-07-10 17:12:23 +06:00
ve.ui.CodeMirrorTool.js	Record usage statistics for syntax highlighting	2020-11-25 15:18:01 +01:00