wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-14 17:55:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove call codeMirror.save()

Browse source 
codeMirror.toTextArea() already calls codeMirror.save().

Change-Id: Ifeb8c482149540832d6389a9337baffbf9ec03fb
This commit is contained in:
Fomafix 2017-09-19 14:10:34 +02:00
parent 2705afaa90
commit 058037bba2
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
resources/ext.CodeMirror.js
View file

@ -334,7 +334,6 @@
if ( codeMirror ) { if ( codeMirror ) {
scrollTop = codeMirror.getScrollInfo().top; scrollTop = codeMirror.getScrollInfo().top;
setCodeEditorPreference( false ); setCodeEditorPreference( false );
codeMirror.save();
codeMirror.toTextArea(); codeMirror.toTextArea();
codeMirror = null; codeMirror = null;
$.fn.textSelection = origTextSelection; $.fn.textSelection = origTextSelection;