Add state.Prec to editor:extensions export (#21222)

GitOrigin-RevId: b8680926a9885f19ebc9227de678674da1765158
2026-05-28 19:41:33 +02:00 · 2024-10-21 10:58:59 +01:00
parent 6c4fac68ca
commit 9fdbd5cfb5
1 changed files with 7 additions and 1 deletions
--- a/services/web/frontend/js/features/source-editor/extensions/bundle.ts
+++ b/services/web/frontend/js/features/source-editor/extensions/bundle.ts
@@ -1,5 +1,10 @@
 import { syntaxTree } from '@codemirror/language'
-import { EditorSelection, StateEffect, StateField } from '@codemirror/state'
+import {
+  EditorSelection,
+  Prec,
+  StateEffect,
+  StateField,
+} from '@codemirror/state'
 import {
  Decoration,
  EditorView,
@@ -14,6 +19,7 @@ export default {
  Decoration,
  EditorSelection,
  EditorView,
+  Prec,
  StateEffect,
  StateField,
  ViewPlugin,