mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-18 09:10:59 +00:00
789d98266d
New changes: 4a1f1fcf1 ve.ce.Surface: Move other user selections to $selections overlay e4f456b8e ve.ce.Surface: Create drawSelections method and use for deactivated selections 4868d26f0 Use new #drawSelections method for FindAndReplaceDialog 35e9c8941 ve.ce.Surface: Use #drawSelections for other users Change-Id: Ib465c7816ea722c729bec8a75ef5cab8b90a1782 |
||
---|---|---|
.. | ||
proposal-promise-finally | ||
ve@35e9c89413 |