zulip view

Stream: general

[Joachim Breitner]

I'm relatively new to zulip, and I feel a need for a view with all topics that I contributed to (or, ideally, otherwise have subscribed to). Does that exist or am I using zulip wrongly if I want that?
(I found the recent topics search with the checkbox to select participated ones, but it only shows topics, not messages.)

[Patrick Johnson]

You can enter sender:<email address> in the search bar to see all messages sent by a specific user.

[Patrick Johnson]

https://leanprover.zulipchat.com/#narrow/sender/470149-mail

[Notification Bot]

This topic was moved by Rob Lewis to #Zulip meta > zulip view