()
| 3010 | }); |
| 3011 | } |
| 3012 | function removeTip() { |
| 3013 | if (!isTipInTxt) { |
| 3014 | return; |
| 3015 | } |
| 3016 | $tip.remove(); |
| 3017 | isTipInTxt = false; |
| 3018 | } |
| 3019 | |
| 3020 | $txt.on('mouseenter', 'ul,ol,blockquote,p,h1,h2,h3,h4,h5,table,pre', function (e) { |
| 3021 | addAndShowTip($(e.currentTarget)); |