Skip to content

fix: Avoid layout jump with rich workspace#4776

Merged
juliusknorr merged 4 commits intomainfrom
enh/rich-workspace-switch
Sep 8, 2023
Merged

fix: Avoid layout jump with rich workspace#4776
juliusknorr merged 4 commits intomainfrom
enh/rich-workspace-switch

Commits

Commits on Sep 8, 2023