mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-14 17:55:07 +00:00
963e636f83
The same already happens when switching it off, see line #249. I noticed there is still a (random?) chance the selection gets lost when switching back and forth between syntax highlighting on and off. This is not what this patch is about. Bug: T298488 Change-Id: I541f96be9e6fb2f9032df4b86657d01f0eac5679 |
||
---|---|---|
.. | ||
addon/edit | ||
lib | ||
mode/mediawiki | ||
modules/ve-cm | ||
ext.CodeMirror.js | ||
ext.CodeMirror.less |