geometry-change-event.ts 442 B

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