mirror of
https://github.com/zulip/zulip.git
synced 2025-10-23 04:52:12 +00:00
If the stream settings is open but the stream which was subscribed/unsubscribed wasn't open (say user unsubscribed from a different tab), `$settings_button` would be `undefined` here.