src/edit/global_events.js
function onResize(cm) {
  let d = cm.display
  // Might be a text scaling operation, clear size caches.
  d.cachedCharWidth = d.cachedTextHeight = d.cachedPaddingH = null
  d.scrollbarsClipped = false
  cm.setSize()
}
function onResize(cm) {
  let d = cm.display
  // Might be a text scaling operation, clear size caches.
  d.cachedCharWidth = d.cachedTextHeight = d.cachedPaddingH = null
  d.scrollbarsClipped = false
  cm.setSize()
}
function onResize ( cm ) { let d = cm . display // Might be a text scaling operation, clear size caches. d . cachedCharWidth = d . cachedTextHeight = d . cachedPaddingH = null d . scrollbarsClipped = false cm . setSize ( ) }
Called when the window resizes
Called when the window resizes