()
| 607 | if (!mouseOnTip) clear(); |
| 608 | } |
| 609 | function clear() { |
| 610 | cm.state.ternTooltip = null; |
| 611 | if (tip.parentNode) fadeOut(tip) |
| 612 | clearActivity() |
| 613 | } |
| 614 | var mouseOnTip = false, old = false; |
| 615 | CodeMirror.on(tip, "mousemove", function() { mouseOnTip = true; }); |
| 616 | CodeMirror.on(tip, "mouseout", function(e) { |
no test coverage detected