()
| 623 | restartBlink(); |
| 624 | } |
| 625 | function onBlur() { |
| 626 | if (focused) { |
| 627 | if (options.onBlur) options.onBlur(instance); |
| 628 | focused = false; |
| 629 | if (bracketHighlighted) |
| 630 | operation(function(){ |
| 631 | if (bracketHighlighted) { bracketHighlighted(); bracketHighlighted = null; } |
| 632 | })(); |
| 633 | wrapper.className = wrapper.className.replace(" CodeMirror-focused", ""); |
| 634 | } |
| 635 | clearInterval(blinker); |
| 636 | setTimeout(function() {if (!focused) shiftSelecting = null;}, 150); |
| 637 | } |
| 638 | |
| 639 | // Replace the range from from to to by the strings in newText. |
| 640 | // Afterwards, set the selection to selFrom, selTo. |
no test coverage detected