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 d60eb283d4..5c0dc20bd9 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 @@ -107,6 +107,14 @@ const mouseDownListener = EditorView.domEventHandlers({ }) }) }, + drop: (event: MouseEvent, view) => { + // treat a `drop` event as a `mouseup` event, which isn't fired + window.setTimeout(() => { + view.dispatch({ + effects: mouseDownEffect.of(false), + }) + }) + }, }) const mousedownSelectionState = StateField.define({