()
| 599 | if (!mouseOnTip) clear(); |
| 600 | } |
| 601 | function clear() { |
| 602 | cm.state.ternTooltip = null; |
| 603 | if (!tip.parentNode) return; |
| 604 | cm.off("cursorActivity", clear); |
| 605 | cm.off('blur', clear); |
| 606 | cm.off('scroll', clear); |
| 607 | fadeOut(tip); |
| 608 | } |
| 609 | var mouseOnTip = false, old = false; |
| 610 | CodeMirror.on(tip, "mousemove", function() { mouseOnTip = true; }); |
| 611 | CodeMirror.on(tip, "mouseout", function(e) { |
no test coverage detected