David Baker
David Baker
Not a problem, its just that open PRs come up in our weekly meeting so if they're still open so we look at how to move them along.
I've merged the widgets api PR and released it as 1.9.0 so you'll need tov change the dependency here (or allow edits so we can).
Aaaargh, sorry for the mess on this PR, I had a complete failure pressing the merge button on a PR stacked on top of this one and it's going downhill...
Force merging because the upstream will be incompatible
Yep, I don't really know - Kegan is the expert here, but this all sounds plausible. It's not completely ideal that the server & clients might have subtle differences /...
Reverted to 35 in https://github.com/element-hq/element-desktop/pull/2298
Yeah, could be nice but subtle to get right, eg. it could be very confusing why a room is included in the results if it happened to contain a user...
Yeah, seems so.
I can't repro this on my account (on nightly), they're re-ordering as I change rooms.
This isn't particularly helpful or constructive. If what you're saying is what the icon has a white background in some circumstances, which I'm guessing from your screenshot, you could provide...