webxdc update events

This commit is contained in:
Sebastian Klähn
2022-09-12 09:03:36 +02:00
committed by Septias
parent 0b53c35523
commit 8d62e5defb
10 changed files with 387 additions and 5 deletions

View File

@@ -281,6 +281,8 @@ pub enum JSONRPCEventType {
WebxdcInstanceDeleted {
msg_id: u32,
},
WebxdcBusyUpdating,
WebxdcUpToDate,
}
impl From<EventType> for JSONRPCEventType {
@@ -381,6 +383,8 @@ impl From<EventType> for JSONRPCEventType {
EventType::WebxdcInstanceDeleted { msg_id } => WebxdcInstanceDeleted {
msg_id: msg_id.to_u32(),
},
EventType::WebxdcBusyUpdating { .. } => WebxdcBusyUpdating,
EventType::WebxdcUpToDate { .. } => WebxdcUpToDate,
}
}
}