mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-28 13:18:04 +00:00
0ff87e603f
This fixes a beachball where we oscillate back and forth between hovered and unhovered due to confusing two different tab bars as the same tab bar. |
||
---|---|---|
.. | ||
items.rs | ||
lib.rs | ||
pane.rs | ||
pane_group.rs | ||
settings.rs | ||
sidebar.rs | ||
status_bar.rs |