add delete event for webxdc

This commit is contained in:
Sebastian Klähn
2022-09-10 19:27:20 +02:00
parent 7cff681234
commit 24d9345ea0
4 changed files with 27 additions and 0 deletions

View File

@@ -302,4 +302,9 @@ pub enum EventType {
msg_id: MsgId,
status_update_serial: StatusUpdateSerial,
},
/// Inform that an instance cointaining a webxdc has been deleted
WebXdInstanceDeleted {
msg_id: MsgId,
},
}