mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-18 08:02:27 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

Checkpoint

Browse source
This commit is contained in:
Antonio Scandurra 2023-10-18 09:15:44 +02:00
parent 4db0350f06
commit 6452ff203e
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
crates/gpui3/src/elements/div.rs
View file

@ -206,7 +206,6 @@ where
computed_style.refine(style); computed_style.refine(style);
} }
} }
if active_state.element { if active_state.element {
computed_style.refine(&self.active_style); computed_style.refine(&self.active_style);
} }