Steve Howell b32a9444dd js: Clean up how we track default stream names. ...

We continue to have page_params.realm_default_streams, but
now we do lookups on whether a stream is a default stream
by using a Dict indexed by stream_id.

We are also careful to update that during live updates.

This fixes a flaw that we weren't updating the list of realms
correctly for events that remove a default stream.

2017-08-27 19:08:04 -07:00

24 KiB

Raw Blame History

View Raw