Ben Brandt b74477d12e Option to auto-close deleted files with no unsaved edits (#31920) ... Closes #27982 Release Notes: - Added `close_on_file_delete` setting (off by default) to allow closing open files after they have been deleted on disk --------- Co-authored-by: Bennet Bo Fenner <bennetbo@gmx.de>		2025-06-03 13:18:29 +02:00
..
src	Option to auto-close deleted files with no unsaved edits (#31920)	2025-06-03 13:18:29 +02:00
Cargo.toml
LICENSE-GPL