Update UI via a UI Signal upon background fetch of media or user profile

project-robius / robrix

A Matrix chat client written in pure Rust using the Makepad UI toolkit and the Robius app dev framework

MIT License

67 stars 11 forks source link

Update UI via a UI Signal upon background fetch of media or user profile #97

Closed kevinaboos closed 1 month ago

kevinaboos commented 1 month ago

Previously only a different type of event (e.g., scroll, draw, etc) would result in an UI update for efficiency's sake, but that resulted in stale UI elements.