wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-19 03:21:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
3246 commits 13 branches 26 tags 37 MiB
Commit graph

2 commits

Author SHA1 Message Date
Ed Sanders 796d82a7ab ESLint: Enforce no-var and autofix 
Change-Id: I6f2a1e11acdcdb70902357316b504f903abe8bca
 2024-11-15 11:08:22 +00: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