mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-15 02:04:02 +00:00
0c681f5300
The fallback technique makes the whole edit surface semi-transparent, so reset native selections to full opacity. Change-Id: If6cd585b1a09c549781fe82a3bdf18d64ac597b5 |
||
---|---|---|
.. | ||
lib | ||
mode/mediawiki | ||
modules/ve-cm | ||
ext.CodeMirror.js | ||
ext.CodeMirror.less |