Zulip Chat Archive

Stream: Zulip meta

Topic: recent topics


view this post on Zulip Rob Lewis (Mar 04 2021 at 10:41):

As of today, when I open Zulip it defaults to "recent topics" instead of "all messages." Did this change for anyone else? Any idea how to change it back?

view this post on Zulip Mario Carneiro (Mar 04 2021 at 10:46):

I haven't seen that, but there was a server error 500 for me earlier today so maybe they upgraded

view this post on Zulip Kevin Buzzard (Mar 04 2021 at 10:46):

It just this minute changed for me (on the desktop client -- mine became unresponsive and after restarting it I had the new set-up)

view this post on Zulip Mario Carneiro (Mar 04 2021 at 10:46):

Oh yeah, if I go to the root it brings that up

view this post on Zulip Johan Commelin (Mar 04 2021 at 10:47):

Same in the desktop client

view this post on Zulip Mario Carneiro (Mar 04 2021 at 10:49):

I'm not seeing any option to change it, perhaps we should file an issue

view this post on Zulip Johan Commelin (Mar 04 2021 at 10:54):

It just means that you should hit a instead of Esc. (-;

view this post on Zulip Mario Carneiro (Mar 04 2021 at 10:55):

I have a pinned tab with zulip on it so I rarely visit the home page anyway

view this post on Zulip Rob Lewis (Mar 04 2021 at 10:58):

I close the tab when I don't want the distraction and this is kind of annoying when I reopen it, heh. An issue asking for an option sounds like a good idea

view this post on Zulip Rob Lewis (Mar 04 2021 at 10:58):

Just skimmed their PRs and didn't see this change but I didn't look too hard

view this post on Zulip Kevin Buzzard (Mar 04 2021 at 10:59):

Same, I close the app when I don't want the distraction and then when I re-open it goes to this new thing. I was just planning on getting used to the new thing to be quite honest.

view this post on Zulip Adam Topaz (Mar 04 2021 at 17:00):

I have the same issue. I have a zulip bookmark in my bookmarks toolbar. I guess I will change the URL there to
https://leanprover.zulipchat.com/#all_messages
or something like that...

view this post on Zulip Julian Berman (Mar 25 2021 at 03:36):

Not sure if it's new, but you can disable this now.

view this post on Zulip Julian Berman (Mar 25 2021 at 03:36):

It's here: https://leanprover.zulipchat.com/#settings/display-settings


Last updated: May 08 2021 at 21:09 UTC