- import { EditorView } from '@codemirror/view'
- /**
- * An extension that triggers a custom DOM event whenever the editor geometry
- * changes. This is used to synchronize the editor content and review panel
- * height in "Current file" mode.
- */
- export const geometryChangeEvent = () =>
- EditorView.updateListener.of(update => {
- if (update.geometryChanged) {
- window.dispatchEvent(new CustomEvent('editor:geometry-change'))
- }
- })
|