mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 10:35:48 +00:00
4782987a7f
We would love to name this state "selected", but that term is already used for a template parameter that is checked/used. The idea of "set" was to have a list of parameters where one is "set". But the word is confusing. I suggest "active page" because the entire purpose of the blue selection is to highlight the currently active page (i.e. the one you currently interact with on the right side of the dialog) in the sidebar. Change-Id: I5a16ab4c193ea05c21bb3bf89ada2ef550d8d6bc |
||
---|---|---|
.. | ||
actions | ||
commands | ||
contextitems | ||
datatransferhandlers | ||
dialogs | ||
elements | ||
inspectors | ||
layouts | ||
pages | ||
styles | ||
tools | ||
widgets | ||
ve.ui.MWAriaDescribe.js | ||
ve.ui.MWCommandRegistry.js | ||
ve.ui.MWExtensionWindow.js | ||
ve.ui.MWSequenceRegistry.js | ||
ve.ui.MWSurface.js | ||
ve.ui.MWWikitextCommandRegistry.js | ||
ve.ui.MWWikitextDataTransferHandlerFactory.js | ||
ve.ui.MWWikitextSequenceRegistry.js | ||
ve.ui.MWWikitextSurface.js | ||
ve.ui.MWWikitextTransferRegistry.js |