Skip to content

Update panel dock default values in settings docs - #55719

Merged
ChristopherBiscardi merged 1 commit into
zed-industries:mainfrom
javier-solis:update-panel-dock-defaults-docs
May 5, 2026
Merged

Update panel dock default values in settings docs#55719
ChristopherBiscardi merged 1 commit into
zed-industries:mainfrom
javier-solis:update-panel-dock-defaults-docs

Update panel dock default values in settings docs

971a466
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.