wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-22 04:45:16 +00:00
Code Issues Packages Projects Releases Wiki Activity
3033 commits 12 branches 26 tags 37 MiB
Commit graph

54 commits

Author SHA1 Message Date
jenkins-bot bb2072b5d2 Merge "RealtimePreview: add config setting for debounce time" 2022-03-24 06:35:44 +00:00
MusikAnimal 68e6561857 RealtimePreview: add config setting for debounce time 
Change-Id: Iaf49f076c5a290ab9049267b0aede1e6b13a9136
 2022-03-24 02:00:19 -04:00
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
Sam Wilson 411be83bc3 Add toggle button and two-pane layout for realtime preview 
* Toolbar button to toggle a two-pane layout on and off.
* Resizable bar for the width of the two panes.
* Resizable bar for the edit box height, even when realtime preview is off.
* Only enabled when $wgWikiEditorRealtimePreview = true.
* Fires JS hooks when enabled, resized, and disabled.

Bug: T293347
Change-Id: Id09d44519249c0b7f5c33d48d524b7c92a5a9106
 2022-03-13 07:28:01 +08:00