wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-28 04:36:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
3077 commits 153 branches 1 tag 185 MiB
Commit graph

2 commits

Author SHA1 Message Date
Timo Tijhof 1ba75b7ea9 The last ever mw.ext.ve jshint fixup 
Change-Id: I262673214dd59e5bcaf4e0855e68728365b041fe
 2012-11-26 22:36:07 +01:00
Christian Williams 1932e0907f Phantoms not vanishing on mouseout 
If the mouse is moved too quickly, the phantoms have a tendency to stick. This change moves the event from phantom.mouseleave to surface.mousemove.

Change-Id: I2c7e7bdc838427d4355a6c0c13bafe3198636dbe
 2012-11-16 11:32:59 -08:00