Omit hidden worktrees when showing projects in collaboration UI

2023-01-26 14:47:37 -08:00
parent 4918ad5789
commit 1b45911857
1 changed files with 3 additions and 1 deletions
@@ -1924,7 +1924,9 @@ impl Database {
                };

                if let Some(db_worktree) = db_worktree {
-                    project.worktree_root_names.push(db_worktree.root_name);
+                    if db_worktree.visible {
+                        project.worktree_root_names.push(db_worktree.root_name);
+                    }
                }
            }
        }