Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
1 check-in using file src/graph.js version ce76991244
|
2019-05-21
| ||
| 07:09 | Auto-close the tooltip after a timeout, if the mouse pointer is no longer over the associated element. The auto-close timeout is elapsed (and the tooltip closed instantly) if the mouse pointer is over another element, paused (and reset) as long as the mouse pointer is over the tooltip, and cancelled (and the tooltip kept open) if the mouse pointer is moved back over the same element. ... (check-in: 3d5903ce0c user: florian tags: tooltip-experiments) | |