wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 14:56:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/ui/elements
History
Roan Kattouw 069eefe343 Fix JS error in ve.ui.ClippableContainer 
Sometimes, .clip() would be called when clipping had already been
disabled again, and accessing this.$clippableContainer would cause
an error. This happened to me when typing quickly in MWLinkInspector.

This probably happens when enabling and disabling clipping right after
each other in response to the same event, such that the setTimeout()
for the initial clip is run after clipping has already been disabled.

Change-Id: I0f85ea5f10955188bae51160e1c88eca858ea1bf
2013-09-26 17:39:35 -07:00
..
ve.ui.ClippableElement.js Fix JS error in ve.ui.ClippableContainer 2013-09-26 17:39:35 -07:00
ve.ui.FlaggableElement.js 'Config' -> 'Configuration' in all comments 2013-09-25 11:23:16 +01:00
ve.ui.GroupElement.js Element fixes 2013-06-18 11:35:07 -07:00
ve.ui.IconedElement.js 'Config' -> 'Configuration' in all comments 2013-09-25 11:23:16 +01:00
ve.ui.LabeledElement.js 'Config' -> 'Configuration' in all comments 2013-09-25 11:23:16 +01:00