(cm, f)
| 625 | } |
| 626 | |
| 627 | function onEditorActivity(cm, f) { |
| 628 | cm.on("cursorActivity", f) |
| 629 | cm.on("blur", f) |
| 630 | cm.on("scroll", f) |
| 631 | cm.on("setDoc", f) |
| 632 | return function() { |
| 633 | cm.off("cursorActivity", f) |
| 634 | cm.off("blur", f) |
| 635 | cm.off("scroll", f) |
| 636 | cm.off("setDoc", f) |
| 637 | } |
| 638 | } |
| 639 | |
| 640 | function makeTooltip(x, y, content, cm) { |
| 641 | var node = elt("div", cls + "tooltip", content); |
no test coverage detected