mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-27 15:40:00 +00:00
361741ec86
This was working before somehow… but according to the CodeMirror docs, it never syncs with the textarea automatically, so regardless this is a necessary safeguard at least. Repro steps: 1) Have CodeMirror turned on 2) Open a page for editing 3) Add content 4) Toggle CodeMirror off With this patch, it should now always be synced. Also add selenium test to ensure this doesn't break again. Bug: T317243 Change-Id: Ie44e62fe5838bf32f40c6a3595ec3f541380cfe1 |
||
---|---|---|
.. | ||
addon/edit | ||
dist | ||
lib | ||
mode/mediawiki | ||
modules/ve-cm | ||
.eslintrc.json | ||
ext.CodeMirror.js | ||
ext.CodeMirror.less | ||
ext.CodeMirror.v6.WikiEditor.less | ||
ext.CodeMirror.WikiEditor.js |