(editor: HTMLElement, pos?: Position)
| 68 | editor.style.whiteSpace = 'pre-wrap' |
| 69 | |
| 70 | const doHighlight = (editor: HTMLElement, pos?: Position) => { |
| 71 | highlight(editor, pos) |
| 72 | } |
| 73 | |
| 74 | const matchFirefoxVersion = |
| 75 | window.navigator.userAgent.match(/Firefox\/([0-9]+)\./) |
no outgoing calls
no test coverage detected