Comment 48 for bug 239462

Revision history for this message
In , John Morkel (jmorkel) wrote :

Created attachment 346420
Patch removing auto-hide timer so that tooltips hide on mousemove (with 7 pixel tolerance)

I've changed the mouse move tolerance to a 15x15 pixel window (specified as the "radius" of 7) as per Dave Jakeman's suggestion.