mirror of
https://github.com/zed-industries/zed.git
synced 2025-02-06 18:46:49 +00:00
7b01a29f5a
There was an edge case where the project panel selection would not be
updated when opening a lot of tabs quickly using the preview tab
feature.
I spent way too long debugging this, thankfully @ConradIrwin spotted it
in like 5 minutes 🎉
Release Notes:
- N/A
|
||
---|---|---|
.. | ||
persistence | ||
dock.rs | ||
item.rs | ||
modal_layer.rs | ||
notifications.rs | ||
pane.rs | ||
pane_group.rs | ||
persistence.rs | ||
searchable.rs | ||
shared_screen.rs | ||
status_bar.rs | ||
toolbar.rs | ||
workspace.rs | ||
workspace_settings.rs |