mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-22 10:32:46 +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 |
||
---|---|---|
.. | ||
highlighting-wikitext2010.js | ||
highlighting-wikitext2017.js | ||
textSelection-wikitext2010.js |