mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 02:23:58 +00:00
ac77d33c9e
The search index was only being built on initialization, rather than at the time the list was being shown. By moving it to be built on open the list will always be fresh. Also, just after building the index, we can enable/disable the select existing button based on the number of results. Bug: 51689 Bug: 51848 Bug: 52000 Change-Id: Ib38b1b227edc3d61dc49fa58999358e7adf11b08 |
||
---|---|---|
.. | ||
dialogs | ||
inspectors | ||
styles | ||
tools | ||
widgets | ||
ve.ui.MWDialog.js |