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

Realtime Preview: don't hide diff view on refresh

Browse source 
Bug: T307046
Change-Id: I77379a323b7532595685494de10b89be65e49954
This commit is contained in:
MusikAnimal 2022-07-06 16:34:52 -04:00
parent 12661580d4
commit 7f329a7453
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/realtimepreview/RealtimePreview.js
View file

@ -340,7 +340,9 @@ RealtimePreview.prototype.doRealtimePreview = function ( forceUpdate ) {
$textareaNode: $textareaNode,
$previewNode: this.$previewNode,
$spinnerNode: false,
loadingSelectors: loadingSelectors
loadingSelectors: loadingSelectors,
// Don't hide the diff view, if visible.
$diffNode: null
} ).done( function () {
this.errorLayout.toggle( false );
}.bind( this ) ).fail( function ( code, result ) {