Steve Howell 8b78f3f133 Look up old stream names in stream_data.get_name(). ...

This change fixes a few small things related to stream
renames, such as what happens if you hit the back button
to go to a narrow where the stream had been renamed.  You
will now get the correct behavior in terms of filtering
and searching.  Unfortunately, this will only last until
you reload.

2017-05-13 21:59:08 -07:00

14 KiB

Raw Blame History

View Raw