From c98122485c95b9f7a116414c10eb0a8a35f8c780 Mon Sep 17 00:00:00 2001 From: Jason Lee Date: Thu, 6 Feb 2025 10:04:15 +0800 Subject: [PATCH] Fix selection top right corner radius. --- crates/editor/src/element.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/crates/editor/src/element.rs b/crates/editor/src/element.rs index e9976dcb38cfe9..4bb93765f29a62 100644 --- a/crates/editor/src/element.rs +++ b/crates/editor/src/element.rs @@ -8148,6 +8148,7 @@ impl HighlightedRange { let top_curve_width = curve_width(first_line.start_x, first_line.end_x); let mut builder = gpui::PathBuilder::fill(); + builder.move_to(first_top_right - top_curve_width); builder.curve_to(first_top_right + curve_height, first_top_right); let mut iter = lines.iter().enumerate().peekable();