paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-10-29 19:13:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

js: Rename muting module to muted_topics.

Browse Source
This commit is contained in:
Priyank Patel
2021-06-28 18:39:04 +00:00
committed by Tim Abbott
parent 968a8c4e50
commit 5f74e78bee
24 changed files with 94 additions and 81 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
static/js/notifications.js
View File

@@ -10,7 +10,7 @@ import * as favicon from "./favicon";
import {$t} from "./i18n";
import * as message_lists from "./message_lists";
import * as message_store from "./message_store";
import * as muting from "./muting";
import * as muted_topics from "./muted_topics";
import * as narrow from "./narrow";
import * as narrow_state from "./narrow_state";
import * as navigate from "./navigate";
@@ -361,7 +361,10 @@ export function message_is_notifiable(message) {
return false;
}
if (message.type === "stream" && muting.is_topic_muted(message.stream_id, message.topic)) {
if (
message.type === "stream" &&
muted_topics.is_topic_muted(message.stream_id, message.topic)
) {
return false;
}
@@ -539,7 +542,10 @@ export function get_local_notify_mix_reason(message) {
return undefined;
}
if (message.type === "stream" && muting.is_topic_muted(message.stream_id, message.topic)) {
if (
message.type === "stream" &&
muted_topics.is_topic_muted(message.stream_id, message.topic)
) {
return $t({defaultMessage: "Sent! Your message was sent to a topic you have muted."});
}