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

pane: Fix pinned tabs being persisted after closing (#17666)

Browse source 
Release Notes:

- Fixed tabs staying pinned after closing unrelated tabs
This commit is contained in:
Piotr Osiewicz 2024-09-10 17:26:06 -04:00 committed by GitHub
parent 48a16f9e70
commit 3cea7ccbff
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
crates/workspace/src/pane.rs
View file

@ -1364,6 +1364,9 @@ impl Pane {
self.activation_history
.retain(|entry| entry.entity_id != self.items[item_index].item_id());
if self.is_tab_pinned(item_index) {
self.pinned_tab_count -= 1;
}
if item_index == self.active_item_index {
let index_to_activate = self
.activation_history