mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-09 02:44:49 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 10
zed/crates/project_panel/src
History
Kirill Bulatov 583b15badc When the file is deleted via project panel, close it in editors
2023-05-19 18:52:30 +03:00
..
project_panel.rs When the file is deleted via project panel, close it in editors 2023-05-19 18:52:30 +03:00