mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 10:35:48 +00:00
c5cccfc85b
We could do something more complex and compute the height of the available space, but a fixed height is a reasonable solution with a fraction of the complexity. Bug: T328048 Change-Id: I0b7bfa55f23afc16be43b85270666ec6a480ca32 |
||
---|---|---|
.. | ||
styles | ||
.eslintrc.json | ||
ve.init.mw.ArticleTargetLoader.js | ||
ve.init.mw.ArticleTargetSaver.js | ||
ve.init.mw.DesktopArticleTarget.init.js | ||
ve.init.mw.DiffLoader.js | ||
ve.init.mw.DiffPage.init.js | ||
ve.init.mw.ProgressBarWidget.js | ||
ve.init.mw.TempWikitextEditorWidget.js | ||
ve.init.MWEditingTabDialog.js | ||
ve.init.MWEditModeTool.js | ||
ve.init.MWVESwitchConfirmDialog.js | ||
ve.init.MWVESwitchPopupWidget.js | ||
ve.init.MWWelcomeDialog.js | ||
ve.utils.parsoid.js |