events: Use op rather than operation in frontend.

This commit is contained in:
Tim Abbott 2020-08-24 12:44:29 -07:00
parent 372e010dbb
commit 1e04fad11a
1 changed files with 2 additions and 2 deletions

View File

@ -496,14 +496,14 @@ exports.dispatch_normal_event = function dispatch_normal_event(event) {
break;
case "update_message_flags": {
const new_value = event.operation === "add";
const new_value = event.op === "add";
switch (event.flag) {
case "starred":
for (const message_id of event.messages) {
message_flags.update_starred_flag(message_id, new_value);
}
if (event.operation === "add") {
if (event.op === "add") {
starred_messages.add(event.messages);
} else {
starred_messages.remove(event.messages);