From 74f3366f425d070a450abadc68d774f3367efb9f Mon Sep 17 00:00:00 2001 From: Thorsten Ball Date: Mon, 15 Jan 2024 13:47:09 +0100 Subject: [PATCH] Fix editor stealing click events from copy-error button Co-authored-by: Antonio --- crates/editor/src/element.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/crates/editor/src/element.rs b/crates/editor/src/element.rs index 29d3e0aaea38011a120401eb54aabb1a311bd3b6..e602b23c8e9f840d3c1e9730407d80a6193f55bf 100644 --- a/crates/editor/src/element.rs +++ b/crates/editor/src/element.rs @@ -388,7 +388,9 @@ impl EditorElement { let mut click_count = event.click_count; let modifiers = event.modifiers; - if gutter_bounds.contains(&event.position) { + if cx.default_prevented() { + return; + } else if gutter_bounds.contains(&event.position) { click_count = 3; // Simulate triple-click when clicking the gutter to select lines } else if !text_bounds.contains(&event.position) { return;