Sign up
View stargazers0Sign up

Prune dead workspaces from WorkspaceStore on read

Also, remove unnecessary window handle from Workspace.
42bdc11112Max Brunsfeld committed on 12/21/2023, 12:08:58 AMparent5e7c74c
1 file changedLine totals unavailable