function fixScroll(editor) {
  // Below is copied from the CodeMirror window resize handler, codeMirror.refresh() didn't work...
  const d = editor.display
  d.cachedCharWidth = d.cachedTextHeight = d.cachedPaddingH = null
  d.scrollbarsClipped = false
  editor.setSize()
}
// Padding was causing issues where text on the right side got cut off, this fixes it for a given CodeMirror instance.
Padding was causing issues where text on the right side got cut off, this fixes it for a given CodeMirror instance.
Padding was causing issues where text on the right side got cut off this fixes it for a given CodeMirror instance .
function fixScroll(editor) {
  const d = editor.display
  d.cachedCharWidth = d.cachedTextHeight = d.cachedPaddingH = null
  d.scrollbarsClipped = false
  editor.setSize()
}
function fixScroll ( editor ) { const d = editor . display d . cachedCharWidth = d . cachedTextHeight = d . cachedPaddingH = null d . scrollbarsClipped = false editor . setSize ( ) }
Padding was causing issues where text on the right side got cut off, this fixes it for a given CodeMirror instance.
Padding was causing issues where text on the right side got cut off this fixes it for a given CodeMirror instance .
// Below is copied from the CodeMirror window resize handler, codeMirror.refresh() didn't work...