Stream: zulip

Topic: my topics


view this post on Zulip nikomatsakis (Jun 11 2020 at 09:25):

I'm super excited for this feature to be available: https://github.com/zulip/zulip/issues/6605

view this post on Zulip Santiago Pastorino (Jun 11 2020 at 13:51):

do we know when that will be deployed on our instance? :)

view this post on Zulip davidtwco (Jun 11 2020 at 13:52):

Hosted instances get updates pretty regularly, I'm not sure exactly how frequently - but a PR I got merged into Zulip 2 days ago is available here, so it won't be long.

view this post on Zulip davidtwco (Jun 11 2020 at 13:55):

I know they like to backport stuff - my change was fairly low risk, so it could have been deployed quicker as a result

view this post on Zulip Cyphase (Jun 17 2020 at 00:21):

This has been live for a few days now; still labeled Beta, and under active development, but it's pretty solid already.

@nikomatsakis @Santiago Pastorino @davidtwco

view this post on Zulip davidtwco (Jun 17 2020 at 08:55):

(for anyone in the same boat as me wondering how to access it - I've not been able to find a button, but pressing t brings it up)

view this post on Zulip lqd (Jun 17 2020 at 08:58):

it's the little clock here image.png

view this post on Zulip davidtwco (Jun 17 2020 at 09:01):

Ah, very well hidden, thanks!

view this post on Zulip nikomatsakis (Jun 17 2020 at 14:23):

oh man

view this post on Zulip nikomatsakis (Jun 17 2020 at 14:23):

thanks for pointing that out

view this post on Zulip nikomatsakis (Jun 17 2020 at 14:23):

I would never have known it was there

view this post on Zulip Santiago Pastorino (Jun 17 2020 at 14:36):

right, it was very well hidden, good trick

view this post on Zulip Santiago Pastorino (Jun 17 2020 at 14:37):

I wonder now if someone has incorporated this to their workflow and how you're using the feature?

view this post on Zulip Santiago Pastorino (Jun 17 2020 at 14:37):

curious to learn ways to improve my workflow :)

view this post on Zulip nikomatsakis (Jun 17 2020 at 14:44):

it's not quite how I imagined it

view this post on Zulip nikomatsakis (Jun 17 2020 at 14:45):

I think what I imagined was something sort of like "@ Mentions"

view this post on Zulip nikomatsakis (Jun 17 2020 at 14:45):

like "My topics" with an unread count, over there in the side bar

view this post on Zulip nikomatsakis (Jun 17 2020 at 14:45):

or else like a "virtual stream"

view this post on Zulip davidtwco (Jun 17 2020 at 14:46):

By "my topics", do you mean topics that you started or that you participated in?

view this post on Zulip nikomatsakis (Jun 17 2020 at 14:46):

I do

view this post on Zulip davidtwco (Jun 17 2020 at 14:46):

I think this does that if you check the "participated" checkbox at the top?

view this post on Zulip nikomatsakis (Jun 17 2020 at 14:46):

yeah so if you check Unread + Participaetd + Muted

view this post on Zulip nikomatsakis (Jun 17 2020 at 14:46):

it kind of gives the behavior I want

view this post on Zulip nikomatsakis (Jun 17 2020 at 14:46):

just not presented the way I want

view this post on Zulip nikomatsakis (Jun 17 2020 at 14:50):

in particular I think that Muted does not mean only Muted, but "include both Muted and Unmuted"

view this post on Zulip davidtwco (Jun 17 2020 at 14:51):

that definitely seems to be the case

view this post on Zulip davidtwco (Jun 17 2020 at 14:51):

unmuted are already listed, "muted" is to include those; whereas "participated" isn't additive, it's taking away topics

view this post on Zulip davidtwco (Jun 17 2020 at 14:56):

worth filing an issue with them, particularly if this is a new feature that they're still experimenting with - they'll tag it as a "rust community request" if you mention it's from here

view this post on Zulip nikomatsakis (Jun 17 2020 at 19:16):

I guess one missing thing (depending on your POV) is that being mentioned doesn't count as participating

view this post on Zulip nikomatsakis (Jun 17 2020 at 19:16):

not entirely clear that it should, that's a bit tricky

view this post on Zulip Cyphase (Jun 20 2020 at 10:18):

Regarding the "hidden" button: the current plan is to eventually promote it to be the home view. It would be a full view like Mentions or Starred messages, not a modal.

view this post on Zulip RalfJ (Jun 20 2020 at 10:19):

I dont get these checkboxes... when I select "participated" and "muted", is that the intersection or the union of the two? it seems like neither... it shows more topics than just "participated", but just "muted" is empty!

view this post on Zulip RalfJ (Jun 20 2020 at 10:21):

when I select all 3 checkboxes that seems to be roughly what I want -- I think. but without understanding the semantics that is hard to tell.

view this post on Zulip Cyphase (Jun 20 2020 at 10:22):

The default view (no checkboxes) is all non-muted topics. Unread and Participated filter to only show topics that fit those descriptions, and Muted adds muted topics.

view this post on Zulip RalfJ (Jun 20 2020 at 10:24):

oh wow. that's very non-obvious.

view this post on Zulip RalfJ (Jun 20 2020 at 10:27):

funny, when I click just a bit too low below that button, the search bar opens...

view this post on Zulip Cyphase (Jun 20 2020 at 10:28):

Yes, I've done that several times as well; that whole header area is a click target for stream search, except for the buttons themselves.

view this post on Zulip Cyphase (Jun 20 2020 at 10:31):

davidtwco said:

worth filing an issue with them, particularly if this is a new feature that they're still experimenting with - they'll tag it as a "rust community request" if you mention it's from here

view this post on Zulip RalfJ (Jun 20 2020 at 10:36):

ah I had missed that, sorry

view this post on Zulip Cyphase (Jun 20 2020 at 10:38):

Nothing to be sorry about. :slight_smile:

view this post on Zulip RalfJ (Jun 20 2020 at 10:44):

I should have read the thread before replying ;)

view this post on Zulip RalfJ (Jun 20 2020 at 10:44):

anyway, here you go: https://github.com/zulip/zulip/issues/15482

view this post on Zulip Cyphase (Jun 21 2020 at 06:28):

"Muted" has been changed to "Include muted" in a recent commit. I commented on the issue as well. @RalfJ

view this post on Zulip Cyphase (Jun 21 2020 at 22:01):

And now it's been moved next to the "All" button; I'm sure RalfJ knows already given the discussion on the issue, but for anyone else.

view this post on Zulip RalfJ (Jun 21 2020 at 22:52):

(no I dont, doesnt seem like there was a notification in the issue I am subscribed to)

view this post on Zulip Cyphase (Jun 22 2020 at 01:09):

Oh, well, there you go then. :big_smile:


Last updated: Oct 11 2021 at 22:34 UTC