Function doHighlight

codejar.ts:67–69

(editor: HTMLElement, pos?: Position)

  editor.style.whiteSpace = 'pre-wrap'

  const doHighlight = (editor: HTMLElement, pos?: Position) => {
    highlight(editor, pos)
  }
  
  const matchFirefoxVersion =
		window.navigator.userAgent.match(/Firefox\/([0-9]+)\./);