## Stream: Zulip meta

### Topic: recent topics

#### 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?

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

#### 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)

#### Mario Carneiro (Mar 04 2021 at 10:46):

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

#### Johan Commelin (Mar 04 2021 at 10:47):

Same in the desktop client

#### Mario Carneiro (Mar 04 2021 at 10:49):

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

#### Johan Commelin (Mar 04 2021 at 10:54):

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

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

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

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

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

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

#### Julian Berman (Mar 25 2021 at 03:36):

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

#### Julian Berman (Mar 25 2021 at 03:36):

Last updated: May 08 2021 at 21:09 UTC