wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-15 03:35:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../modules/realtimepreview
History
MusikAnimal 2cbf638f54 Realtime Preview: wait for a response before making new requests 
If a preview is requested before one finishes, one final request is
fired off to ensure the preview is up-to-date.

Bug: T302282
Change-Id: I2399fc7cc08cd0987d2d689ca9f297db1ec5edf0
2022-03-21 21:17:26 -04:00
..
init.js Add toggle button and two-pane layout for realtime preview 2022-03-13 07:28:01 +08:00
RealtimePreview.js Realtime Preview: wait for a response before making new requests 2022-03-21 21:17:26 -04:00
RealtimePreview.less Add toggle button and two-pane layout for realtime preview 2022-03-13 07:28:01 +08:00
ResizingDragBar.js Add toggle button and two-pane layout for realtime preview 2022-03-13 07:28:01 +08:00
ResizingDragBar.less Add toggle button and two-pane layout for realtime preview 2022-03-13 07:28:01 +08:00
TwoPaneLayout.js Add toggle button and two-pane layout for realtime preview 2022-03-13 07:28:01 +08:00
TwoPaneLayout.less Add toggle button and two-pane layout for realtime preview 2022-03-13 07:28:01 +08:00