David Baker

Results 218 comments of 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...

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...