From 666ecbe99fdb410fe1be7453a9b503a9f5f8a896 Mon Sep 17 00:00:00 2001
From: Alf Eaton <alf.eaton@overleaf.com>
Date: Mon, 11 Sep 2023 11:00:22 +0100
Subject: [PATCH] Treat a contextmenu event as a mouseup event (#14754)

GitOrigin-RevId: 8f4f3cf53ccf09fd5e4c4a504d40cc375aa12b6c
---
 .../features/source-editor/extensions/visual/selection.ts | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/services/web/frontend/js/features/source-editor/extensions/visual/selection.ts b/services/web/frontend/js/features/source-editor/extensions/visual/selection.ts
index d7e6bfc33b..d60eb283d4 100644
--- a/services/web/frontend/js/features/source-editor/extensions/visual/selection.ts
+++ b/services/web/frontend/js/features/source-editor/extensions/visual/selection.ts
@@ -99,6 +99,14 @@ const mouseDownListener = EditorView.domEventHandlers({
       })
     })
   },
+  contextmenu: (event: MouseEvent, view) => {
+    // treat a `contextmenu` event as a `mouseup` event, which isn't fired
+    window.setTimeout(() => {
+      view.dispatch({
+        effects: mouseDownEffect.of(false),
+      })
+    })
+  },
 })
 
 const mousedownSelectionState = StateField.define<EditorSelection | undefined>({