Kirill Bulatov 7d1833b759 When the file is deleted via project panel, close it in editors (#2490) ...

Deals with https://github.com/zed-industries/community/issues/179 by
sending a message about it, to asynchronously apply on all workspaces.

Release Notes:

* Fixes a bug when files, deleted in the project panel were left open in
the editor

2023-05-19 21:51:37 +03:00

..

src

When the file is deleted via project panel, close it in editors (#2490)

2023-05-19 21:51:37 +03:00

Cargo.toml

Optimize matching of multiple file-watch globs using the globset crate

2023-05-19 09:13:34 -07:00