mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-14 07:21:36 +00:00
085764ddd6
Since I7f6fd7ee9 it is now possible for the options bar to be completely empty if the user is logged out. In this case hide it and only show it again when the character limit needs to be show. Ideally we wouldn't have the height change, but it is quite rare that a user gets to 400 chars and is logged out. Bug: T228165 Change-Id: Ifbdf352afcbf4e549889e04fdb70fd30ce233aad |
||
---|---|---|
.. | ||
ve.ui.MWCommandHelpDialog.js | ||
ve.ui.MWExtensionDialog.js | ||
ve.ui.MWExtensionPreviewDialog.js | ||
ve.ui.MWGalleryDialog.js | ||
ve.ui.MWMediaDialog.js | ||
ve.ui.MWMetaDialog.js | ||
ve.ui.MWMobileSaveDialog.js | ||
ve.ui.MWPreDialog.js | ||
ve.ui.MWRequiredParamBlankConfirmDialog.js | ||
ve.ui.MWSaveDialog.js | ||
ve.ui.MWTableDialog.js | ||
ve.ui.MWTemplateDialog.js | ||
ve.ui.MWTransclusionDialog.js | ||
ve.ui.MWWikitextConvertConfirmDialog.js |