From 6486bb7cc4ae7b11dfdbe58bdab44c03fd67326d Mon Sep 17 00:00:00 2001 From: Piotr Osiewicz <24362066+osiewicz@users.noreply.github.com> Date: Fri, 26 Apr 2024 17:29:56 +0200 Subject: [PATCH] Add elided lifetime to make merging with code-actions seamless --- crates/editor/src/element.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/editor/src/element.rs b/crates/editor/src/element.rs index aacbe6679f..d4d8629462 100644 --- a/crates/editor/src/element.rs +++ b/crates/editor/src/element.rs @@ -3070,7 +3070,7 @@ fn prepaint_gutter_button( gutter_dimensions: &GutterDimensions, scroll_pixel_position: gpui::Point, gutter_hitbox: &Hitbox, - cx: &mut WindowContext, + cx: &mut WindowContext<'_>, ) -> AnyElement { let mut button = button.into_any_element(); let available_space = size(