Merge pull request #2090 from zed-industries/workspace-window-position-persistence

Workspace window position persistence
2023-01-27 15:24:01 -08:00
parent a1308d20ce 1593b1e13d
commit ea0dd8972f
28 changed files with 1297 additions and 662 deletions
@@ -6,7 +6,7 @@ use db::{define_connection, query};
 use workspace::{ItemId, WorkspaceDb, WorkspaceId};

 define_connection!(
-    // Current table shape using pseudo-rust syntax:
+    // Current schema shape using pseudo-rust syntax:
    // editors(
    //   item_id: usize,
    //   workspace_id: usize,