()
| 595 | var where = cm.cursorCoords(); |
| 596 | var tip = cm.state.ternTooltip = makeTooltip(where.right + 1, where.bottom, content); |
| 597 | function maybeClear() { |
| 598 | old = true; |
| 599 | if (!mouseOnTip) clear(); |
| 600 | } |
| 601 | function clear() { |
| 602 | cm.state.ternTooltip = null; |
| 603 | if (!tip.parentNode) return; |