Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Allow removing workspaces from the "recent projects" modal (#7885)

Browse source 
<img width="492" alt="Screenshot 2024-02-19 at 10 59 01 AM"
src="https://github.com/zed-industries/zed/assets/1823955/922117f6-81c1-409d-938a-131bcec0f24c">

<img width="675" alt="Screenshot 2024-02-19 at 10 59 27 AM"
src="https://github.com/zed-industries/zed/assets/1823955/fefac68b-9a99-43bb-ac0c-724e7c622455">

Release Notes:

- Added a way to remove entries from the recent projects modal
([7426](https://github.com/zed-industries/zed/issues/7426)).
This commit is contained in:
Tung Hoang 2024-02-21 15:30:02 -08:00 • committed by GitHub
parent 266bb62813
commit f930969411
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 98 additions and 40 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/workspace/src/persistence.rs
View file

@ -430,7 +430,7 @@ impl WorkspaceDb {
}
query! {
async fn delete_stale_workspace(id: WorkspaceId) -> Result<()> {
pub async fn delete_workspace_by_id(id: WorkspaceId) -> Result<()> {
DELETE FROM workspaces
WHERE workspace_id IS ?
}
@ -447,7 +447,7 @@ impl WorkspaceDb {
{
result.push((id, location));
} else {
delete_tasks.push(self.delete_stale_workspace(id));
delete_tasks.push(self.delete_workspace_by_id(id));
}
}