recent topics

Stream: Zulip meta

[Rob Lewis]

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?

[Mario Carneiro]

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

[Kevin Buzzard]

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

[Mario Carneiro]

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

[Johan Commelin]

Same in the desktop client

[Mario Carneiro]

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

[Johan Commelin]

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

[Mario Carneiro]

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

[Rob Lewis]

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

[Rob Lewis]

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

[Kevin Buzzard]

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.

[Adam Topaz]

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

[Julian Berman]

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

[Julian Berman]

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