wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/ce
History
Christian Williams 7e74f0aa70 (bug 43461) Hide Phantoms 
This fixes a problem that phantoms would remain visible if moving the mouse quickly. Now binding to mousemove and also mouseout.

Change-Id: I4f5e3319038828f83b108e9f5a45f54ebfeb7027
2013-02-21 23:02:05 +00:00
..
nodes (bug 43461) Hide Phantoms 2013-02-21 23:02:05 +00:00
styles Bump copyright notice year range to -2013 over -2012 2013-02-19 15:37:34 -08:00
ve.ce.BranchNode.js Bump copyright notice year range to -2013 over -2012 2013-02-19 15:37:34 -08:00
ve.ce.ContentBranchNode.js Bump copyright notice year range to -2013 over -2012 2013-02-19 15:37:34 -08:00
ve.ce.Document.js Bump copyright notice year range to -2013 over -2012 2013-02-19 15:37:34 -08:00
ve.ce.js Bump copyright notice year range to -2013 over -2012 2013-02-19 15:37:34 -08:00
ve.ce.LeafNode.js Bump copyright notice year range to -2013 over -2012 2013-02-19 15:37:34 -08:00
ve.ce.Node.js Bump copyright notice year range to -2013 over -2012 2013-02-19 15:37:34 -08:00
ve.ce.NodeFactory.js Bump copyright notice year range to -2013 over -2012 2013-02-19 15:37:34 -08:00
ve.ce.Surface.js Introduce ve.Keys based on DOM Level 3 KeyEvent 2013-02-20 16:15:59 -08:00
ve.ce.SurfaceObserver.js Bump copyright notice year range to -2013 over -2012 2013-02-19 15:37:34 -08:00