mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-18 17:21:25 +00:00
81197ac662
* Don't try to draw the selections/highlights while the sidebar is opening. * Only make the scroll call once (after the sidebar is open) to keep the animation smooth. Change-Id: I1c1d23b0dad07aa44a2bd10ebb32149e796d6738 |
||
---|---|---|
.. | ||
editchecks | ||
.eslintrc.json | ||
BaseEditCheck.js | ||
EditCheck.less | ||
EditCheckAction.js | ||
EditCheckContextItem.js | ||
EditCheckDialog.js | ||
EditCheckFactory.js | ||
EditCheckInspector.js | ||
init.js |