zed/crates/project_panel/src at bebde782fa33bdb0c450ea39f07dc3d300adf23f - mirrors/zed

mirror of https://github.com/zed-industries/zed.git synced 2024-10-24 23:47:05 +00:00

History

Antonio Scandurra 31dfd01fda Make `add_local_worktree` private and use `find_or_create_local_worktree` The former always adds a worktree, even if we have one already in the project and that could be misused. The public API should always search for a local worktree containing the requested path first so that the project can uphold invariants about which worktrees it has.	2022-01-22 11:23:00 +01:00
..
project_panel.rs

Antonio Scandurra 31dfd01fda Make add_local_worktree private and use find_or_create_local_worktree

The former always adds a worktree, even if we have one already in the
project and that could be misused. The public API should always search
for a local worktree containing the requested path first so that the
project can uphold invariants about which worktrees it has.

2022-01-22 11:23:00 +01:00

project_panel.rs