Function registerGlobalHandlers

external/.scrollLibs.js:8945–8960

()

    globalsRegistered = true
  }
  function registerGlobalHandlers() {
    // When the window resizes, we need to refresh active editors.
    var resizeTimer
    on(window, "resize", function () {
      if (resizeTimer == null) {
        resizeTimer = setTimeout(function () {
          resizeTimer = null
          forEachCodeMirror(onResize)
        }, 100)
      }
    })
    // When the window loses focus, we want to show the editor as blurred
    on(window, "blur", function () {
      return forEachCodeMirror(onBlur)
    })
  }
  // Called when the window resizes
  function onResize(cm) {
    var d = cm.display