From 6452ff203e6e5db705dfe5d78c60443e1d7e4f57 Mon Sep 17 00:00:00 2001 From: Antonio Scandurra Date: Wed, 18 Oct 2023 09:15:44 +0200 Subject: [PATCH] Checkpoint --- crates/gpui3/src/elements/div.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/crates/gpui3/src/elements/div.rs b/crates/gpui3/src/elements/div.rs index 8b6785eddb230c5deefc7663c83298895693f59c..7aaaa3dbe7b389595f6cb259f7195bf22c7f02c0 100644 --- a/crates/gpui3/src/elements/div.rs +++ b/crates/gpui3/src/elements/div.rs @@ -206,7 +206,6 @@ where computed_style.refine(style); } } - if active_state.element { computed_style.refine(&self.active_style); }