Reload member device list when they change

src/backend/nio_callbacks.py

@@ -12,6 +12,7 @@ import nio
 
 from .html_markdown import HTML_PROCESSOR
 from .models.items import TypeSpecifier
+from .pyotherside_events import DevicesUpdated
 from .utils import classes_defined_in, plain2html
 
 if TYPE_CHECKING:
@@ -123,6 +124,8 @@ class NioCallbacks:
             else:
                 await self.client.register_nio_room(room)
 
+        DevicesUpdated(self.user_id)
+
 
 
     # Room events, invite events and misc events callbacks

src/backend/pyotherside_events.py

@@ -90,3 +90,10 @@ class ModelItemDeleted(ModelEvent):
 @dataclass
 class ModelCleared(ModelEvent):
     """Indicate that a `Backend` `Model` was cleared."""
+
+
+@dataclass
+class DevicesUpdated(PyOtherSideEvent):
+    """Indicate changes in devices for us or users we share a room with."""
+
+    our_user_id: str = field()