wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-23 15:57:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../modules
History
MusikAnimal 178a731b6e ResizingDragBar: force CodeMirror to have 100% height 
The ResizingDragBar makes the editor resizable, so we need to set the
CodeMirror height to 100%. Previous attempts to fix this at
Ib49d1d9e71 and I4deeda192b suffered from race conditions based on
which modules loaded first. We can avoid this by simply putting the CSS
rule here in WikiEditor.

Bug: T357794
Follow-Up: I4deeda192bdc233101ba61739a636f8fd143c1de
Change-Id: Ia5e9767e0814eac29d58bc0d9c1023344a29dd84
2024-03-07 16:38:45 -05:00
..
images/toolbar Realtime Preview: remove Beta Feature and onboarding popup 2023-03-17 15:22:32 +08:00
insertlink Fix remaining uses of 'parent'->'super' 2023-11-02 17:11:24 +00:00
realtimepreview ResizingDragBar: force CodeMirror to have 100% height 2024-03-07 16:38:45 -05:00
templates Move reference-specific settings to the Cite extension 2023-06-22 14:07:29 +02:00
.eslintrc.json
ext.wikiEditor.js Revert "Remove hacks that avoid duplicate event logging with MobileFrontend" 2023-06-09 15:20:01 -05:00
ext.wikiEditor.toolbar.styles.less stylelint: Enable selector-pseudo-element-colon-notation 2023-03-30 01:14:34 +02:00
jquery.wikiEditor.dialogs.config.js build: Update linters 2023-08-16 17:10:28 +01:00
jquery.wikiEditor.dialogs.config.less Move reference-specific settings to the Cite extension 2023-06-22 14:07:29 +02:00
jquery.wikiEditor.dialogs.js
jquery.wikiEditor.dialogs.less Styles: Replaces deprecated mixins prefixes with unprefixed CSS property 2023-01-29 10:33:01 +01:00
jquery.wikiEditor.js Add missing space before closing parenthesis 2023-08-17 09:52:11 +00:00
jquery.wikiEditor.less Remove all unused "loading" code, messages and animations 2022-04-21 15:29:15 +02:00
jquery.wikiEditor.toolbar-apex.less Styles: Replaces deprecated mixins prefixes with unprefixed CSS property 2023-01-29 10:33:01 +01:00
jquery.wikiEditor.toolbar-wikimedia.less stylelint: Enable selector-pseudo-element-colon-notation 2023-03-30 01:14:34 +02:00
jquery.wikiEditor.toolbar.config.js Stop using autoMsg and use mw.messages directly instead 2023-07-06 10:39:24 +02:00
jquery.wikiEditor.toolbar.js Streamline smaller pieces of JavaScript code 2022-03-04 09:22:07 +00:00
jquery.wikiEditor.toolbar.less Use flexbox for toolbar group items 2024-01-31 06:43:59 +03:00