paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-06 06:53:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

filter: Use stream id instead of stream name.

Browse Source
This commit is contained in:
evykassirer
2024-08-02 18:05:34 -07:00
committed by Tim Abbott
parent 2be181c367
commit dba1af84e0
38 changed files with 760 additions and 592 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
web/src/ui_init.js
View File

@@ -549,7 +549,7 @@ export function initialize_everything(state_data) {
[
{
operator: "stream",
operand: sub.name,
operand: sub.stream_id.toString(),
},
],
{trigger},
@@ -658,7 +658,7 @@ export function initialize_everything(state_data) {
const sub = sub_store.get(stream_id);
message_view.show(
[
{operator: "channel", operand: sub.name},
{operator: "channel", operand: sub.stream_id.toString()},
{operator: "topic", operand: topic},
],
{trigger: "sidebar"},