mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 08:34:54 +00:00
35c44db988
Ace is clever about not updating the rendering of elements which aren't visible, so allow users to force an update, for example if they changed the value while the whole widget was hidden. Change-Id: I7bbbffd17489bc80fe5fa80911f29d7223e125a3 |
||
---|---|---|
.. | ||
actions | ||
commands | ||
contextitems | ||
datatransferhandlers | ||
dialogs | ||
elements | ||
inspectors | ||
pages | ||
styles | ||
themes | ||
tools | ||
widgets | ||
ve.ui.MWCommandRegistry.js | ||
ve.ui.MWExtensionWindow.js | ||
ve.ui.MWMobileContext.js | ||
ve.ui.MWMobileSurface.js | ||
ve.ui.MWSequenceRegistry.js |