(e, content, node)
| 39 | } |
| 40 | |
| 41 | function showTooltipFor(e, content, node) { |
| 42 | var tooltip = showTooltip(e, content); |
| 43 | function hide() { |
| 44 | CodeMirror.off(node, "mouseout", hide); |
| 45 | if (tooltip) { hideTooltip(tooltip); tooltip = null; } |
| 46 | } |
| 47 | var poll = setInterval(function() { |
| 48 | if (tooltip) for (var n = node;; n = n.parentNode) { |
| 49 | if (n && n.nodeType == 11) n = n.host; |
| 50 | if (n == document.body) return; |
| 51 | if (!n) { hide(); break; } |
| 52 | } |
| 53 | if (!tooltip) return clearInterval(poll); |
| 54 | }, 400); |
| 55 | CodeMirror.on(node, "mouseout", hide); |
| 56 | } |
| 57 | |
| 58 | function LintState(cm, options, hasGutter) { |
| 59 | this.marked = []; |
no test coverage detected