Merge pull request #1972 from zed-industries/recent-workspace

Recent Project Picker
2022-12-16 15:51:57 -08:00
parent a5f624203e 2c47bd4a97
commit 6fcb3c9020
18 changed files with 1213 additions and 801 deletions
@@ -60,7 +60,7 @@ pub use pane_group::*;
 use persistence::{model::SerializedItem, DB};
 pub use persistence::{
    model::{ItemId, WorkspaceLocation},
-    WorkspaceDb,
+    WorkspaceDb, DB as WORKSPACE_DB,
 };
 use postage::prelude::Stream;
 use project::{Project, ProjectEntryId, ProjectPath, Worktree, WorktreeId};