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

2 commits

Author SHA1 Message Date
Sam Wilson 21b36a737d Fix dragbar direction for RTL text direction 
Change the sign (positive/negative) of the change amount (in pixels)
depending on whether the text direction is LTR or RTL.

Bug: T304487
Change-Id: I8f01a92e5e1094c9602d2ff334c730241193cedc
 2022-03-29 11:21:21 +08: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