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
K
Kirill Bulatov committed
7d1833b759a8c0ea0297e0f2f3abce1a6d786682
Committed by GitHub <noreply@github.com>
on 5/19/2023, 6:51:37 PM