From 9fdbd5cfb598b2a746661c90e240a1e83febbc6b Mon Sep 17 00:00:00 2001
From: Alf Eaton <alf.eaton@overleaf.com>
Date: Mon, 21 Oct 2024 10:58:59 +0100
Subject: [PATCH] Add state.Prec to editor:extensions export (#21222)

GitOrigin-RevId: b8680926a9885f19ebc9227de678674da1765158
---
 .../js/features/source-editor/extensions/bundle.ts        | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/services/web/frontend/js/features/source-editor/extensions/bundle.ts b/services/web/frontend/js/features/source-editor/extensions/bundle.ts
index f2b67bcc81..1a57ba829b 100644
--- 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,