()
| 823 | restartBlink(); |
| 824 | } |
| 825 | function onBlur() { |
| 826 | if (focused) { |
| 827 | if (options.onBlur) options.onBlur(instance); |
| 828 | focused = false; |
| 829 | if (bracketHighlighted) |
| 830 | operation(function(){ |
| 831 | if (bracketHighlighted) { bracketHighlighted(); bracketHighlighted = null; } |
| 832 | })(); |
| 833 | wrapper.className = wrapper.className.replace(" CodeMirror-focused", ""); |
| 834 | } |
| 835 | clearInterval(blinker); |
| 836 | setTimeout(function() {if (!focused) shiftSelecting = null;}, 150); |
| 837 | } |
| 838 | |
| 839 | // Replace the range from from to to by the strings in newText. |
| 840 | // Afterwards, set the selection to selFrom, selTo. |
no test coverage detected