mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-12 21:32:40 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 10

workspace: Serialize active panel even if it's not visible (#21408)

Browse source 
Fixes #21285

Closes #21285

Release Notes:

- Fixed workspace serialization of collapsed panels
This commit is contained in:
Piotr Osiewicz 2024-12-02 17:08:16 +01:00 committed by GitHub
parent 3987d0d731
commit 89e46396f6
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
crates/workspace/src/workspace.rs
View file

@ -4144,30 +4144,30 @@ impl Workspace {
let left_dock = this.left_dock.read(cx);
let left_visible = left_dock.is_open();
let left_active_panel = left_dock
.visible_panel()
.active_panel()
.map(|panel| panel.persistent_name().to_string());
let left_dock_zoom = left_dock
.visible_panel()
.active_panel()
.map(|panel| panel.is_zoomed(cx))
.unwrap_or(false);
let right_dock = this.right_dock.read(cx);
let right_visible = right_dock.is_open();
let right_active_panel = right_dock
.visible_panel()
.active_panel()
.map(|panel| panel.persistent_name().to_string());
let right_dock_zoom = right_dock
.visible_panel()
.active_panel()
.map(|panel| panel.is_zoomed(cx))
.unwrap_or(false);
let bottom_dock = this.bottom_dock.read(cx);
let bottom_visible = bottom_dock.is_open();
let bottom_active_panel = bottom_dock
.visible_panel()
.active_panel()
.map(|panel| panel.persistent_name().to_string());
let bottom_dock_zoom = bottom_dock
.visible_panel()
.active_panel()
.map(|panel| panel.is_zoomed(cx))
.unwrap_or(false);