assets/thirdparty/codemirror.js
function restartBlink() {
      clearInterval(blinker);
      var on = true;
      cursor.style.visibility = "";
      blinker = setInterval(function() {
        cursor.style.visibility = (on = !on) ? "" : "hidden";
      }, options.cursorBlinkRate);
    }
function restartBlink() {
      clearInterval(blinker);
      var on = true;
      cursor.style.visibility = "";
      blinker = setInterval(function() {
        cursor.style.visibility = (on = !on) ? "" : "hidden";
      }, options.cursorBlinkRate);
    }
function restartBlink ( ) { clearInterval ( blinker ) ; var on = true ; cursor . style . visibility = "" ; blinker = setInterval ( function ( ) { cursor . style . visibility = ( on = ! on ) ? "" : "hidden" ; } , options . cursorBlinkRate ) ; }
Cursor-blinking
Cursor - blinking