mirror of
https://github.com/SerenityOS/serenity
synced 2026-05-13 10:27:05 +02:00
When a file is deleted from the project it will also be removed from the list of open files
When a file is deleted from the project it will also be removed from the list of open files