A file was deleted
file_deleted event is sent to all connected clients for a workspace when a
file is deleted. Unlike most file events, the
file property contains a file
ID and not a full file object.
Events API compatibility
Subscribe to this event via the Events API.
Events of this type will be wrapped in metadata when sent via the Events API.