zulip view

Stream: Zulip meta

[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

[Bolton Bailey]

You can also mouseover your name on the right-hand side, click the three dots, and select "view messages sent" to get this same view.

[Joachim Breitner]

That gives me my messages only, but not all the other messages in the threads I'm following, doesn't it?

[Yaël Dillies]

Yeah, but you can click on the messages and jump into the topics.

[Patrick Johnson]

Clicking on the title of the topic will open the topic page showing all the messages.

[Joachim Breitner]

Right, but it wouldn't even show what topics have new messages. It's good for finding stuff, but not for following along. https://zulip.com/help/reading-strategies suggests suggests that going via the Recent Topics view is the closest approximation, so I guess that's it then.

[Notification Bot]

This topic was moved here from #general > zulip view by Rob Lewis

[Rob Lewis]

I've moved this to our meta-channel and am tagging @Alya Abbott , the Zulip expert who appears here sometimes :smile:

[Alya Abbott]

Thanks for the ping! Yes, indeed Recent topics is the recommended approach.

To understand better what you have in mind, is it something along the lines of having a "Participated" filter for the All messages view?

[Alya Abbott]

For reference, there's some related discussion under https://github.com/zulip/zulip/issues/12309.

[Joachim Breitner]

Yes, precisely!
(Or even better, an explicit notion of “subscribed topic”, automatically subscribing all participating topics, but additionally the ability to subscribe without posting, and to unsubscribe)

[Joachim Breitner]

I've subscribed the issue you linked to. Which has a certain amount of irony to it :-)

[Johan Commelin]

@Joachim Breitner Note that there is already the notion of "muted topic".

[Sebastian Ullrich]

Unfortunately topics in a muted stream are unmuted by default (and can individually be muted once more, which will hide them from the non-expanded topic list). So there is no practical way to use muting for following only a few topics in a busy stream.