Files
zulip/static/js/stream_topic_history.js
Tim Abbott 9173ed0fb9 message_edit: Fix live update bug in left sidebar.
We've had for years a subtle bug, where after editing a topic in the
left sidebar that had previously had unread messages (but doesn't
anymore), the old topic might still appear in the sidebar.

The bug was hard to notice except for new organizations or in the
development environment, because the pre-edit topic appeared with a
sort key of -Infinity (that being the max ID in an empty list of
message IDs). But this is an important onboarding bug in reducing
faith in Zulip's topic editing just working, so I'm glad to have it
fixed.

Fixes #11901.
2021-07-29 15:01:39 -07:00

316 lines
9.5 KiB
JavaScript

import {all_messages_data} from "./all_messages_data";
import {FoldDict} from "./fold_dict";
import * as message_util from "./message_util";
import * as sub_store from "./sub_store";
import * as unread from "./unread";
const stream_dict = new Map(); // stream_id -> PerStreamHistory object
const fetched_stream_ids = new Set();
export function all_topics_in_cache(sub) {
// Checks whether this browser's cache of contiguous messages
// (used to locally render narrows) in all_messages_data has all
// messages from a given stream, and thus all historical topics
// for it. Because all_messages_data is a range, we just need to
// compare it to the range of history on the stream.
// If the cache isn't initialized, it's a clear false.
if (all_messages_data === undefined || all_messages_data.empty()) {
return false;
}
// If the cache doesn't have the latest messages, we can't be sure
// we have all topics.
if (!all_messages_data.fetch_status.has_found_newest()) {
return false;
}
if (sub.first_message_id === null) {
// If the stream has no message history, we have it all
// vacuously. This should be a very rare condition, since
// stream creation sends a message.
return true;
}
// Now, we can just compare the first cached message to the first
// message ID in the stream; if it's older, we're good, otherwise,
// we might be missing the oldest topics in this stream in our
// cache.
const first_cached_message = all_messages_data.first();
return first_cached_message.id <= sub.first_message_id;
}
export function is_complete_for_stream_id(stream_id) {
if (fetched_stream_ids.has(stream_id)) {
return true;
}
const sub = sub_store.get(stream_id);
const in_cache = all_topics_in_cache(sub);
if (in_cache) {
/*
If the stream is cached, we can add it to
fetched_stream_ids. Note that for the opposite
scenario, we don't delete from
fetched_stream_ids, because we may just be
waiting for the initial message fetch.
*/
fetched_stream_ids.add(stream_id);
}
return in_cache;
}
export function stream_has_topics(stream_id) {
if (!stream_dict.has(stream_id)) {
return false;
}
const history = stream_dict.get(stream_id);
return history.has_topics();
}
export class PerStreamHistory {
/*
For a given stream, this structure has a dictionary of topics.
The main getter of this object is get_recent_topic_names, and
we just sort on the fly every time we are called.
Attributes for a topic are:
* message_id: The latest message_id in the topic. Only usable
for imprecise applications like sorting. The message_id
cannot be fully accurate given message editing and deleting
(as we don't have a way to handle the latest message in a
stream having its stream edited or deleted).
TODO: We can probably fix this limitation by doing a
single-message `GET /messages` query with anchor="latest",
num_before=0, num_after=0, to update this field when its
value becomes ambiguous. Or probably better to avoid a
thundering herd (of a fast query), having the server send
the data needed to do this update in stream/topic-edit and
delete events (just the new max_message_id for the relevant
topic would likely suffice, though we need to think about
private stream corner cases).
* pretty_name: The topic_name, with original case.
* historical: Whether the user actually received any messages in
the topic (has UserMessage rows) or is just viewing the stream.
* count: Number of known messages in the topic. Used to detect
when the last messages in a topic were moved to other topics or
deleted.
*/
topics = new FoldDict();
// Most recent message ID for the stream.
max_message_id = 0;
constructor(stream_id) {
this.stream_id = stream_id;
}
has_topics() {
return this.topics.size !== 0;
}
update_stream_max_message_id(message_id) {
if (message_id > this.max_message_id) {
this.max_message_id = message_id;
}
}
add_or_update({topic_name, message_id = 0}) {
message_id = Number.parseInt(message_id, 10);
this.update_stream_max_message_id(message_id);
const existing = this.topics.get(topic_name);
if (!existing) {
this.topics.set(topic_name, {
message_id,
pretty_name: topic_name,
historical: false,
count: 1,
});
return;
}
if (!existing.historical) {
existing.count += 1;
}
if (message_id > existing.message_id) {
existing.message_id = message_id;
existing.pretty_name = topic_name;
}
}
maybe_remove(topic_name, num_messages) {
const existing = this.topics.get(topic_name);
if (!existing) {
return;
}
if (existing.historical) {
// We can't trust that a topic rename applied to
// the entire history of historical topic, so we
// will always leave it in the sidebar.
return;
}
if (existing.count <= num_messages) {
this.topics.delete(topic_name);
return;
}
existing.count -= num_messages;
}
add_history(server_history) {
// This method populates historical topics from the
// server. We have less data about these than the
// client can maintain for newer topics.
for (const obj of server_history) {
const topic_name = obj.name;
const message_id = obj.max_id;
const existing = this.topics.get(topic_name);
if (existing && !existing.historical) {
// Trust out local data more, since it
// maintains counts.
continue;
}
// If we get here, we are either finding out about
// the topic for the first time, or we are getting
// more current data for it.
this.topics.set(topic_name, {
message_id,
pretty_name: topic_name,
historical: true,
});
this.update_stream_max_message_id(message_id);
}
}
get_recent_topic_names() {
const my_recents = Array.from(this.topics.values());
/* Add any older topics with unreads that may not be present
* in our local cache. */
const missing_topics = unread.get_missing_topics({
stream_id: this.stream_id,
topic_dict: this.topics,
});
const recents = my_recents.concat(missing_topics);
recents.sort((a, b) => b.message_id - a.message_id);
const names = recents.map((obj) => obj.pretty_name);
return names;
}
get_max_message_id() {
return this.max_message_id;
}
}
export function remove_messages(opts) {
const stream_id = opts.stream_id;
const topic_name = opts.topic_name;
const num_messages = opts.num_messages;
const max_removed_msg_id = opts.max_removed_msg_id;
const history = stream_dict.get(stream_id);
// This is the special case of "removing" a message from
// a topic, which happens when we edit topics.
if (!history) {
return;
}
// This is the normal case of an incoming message.
history.maybe_remove(topic_name, num_messages);
const existing_topic = history.topics.get(topic_name);
if (!existing_topic) {
return;
}
// Update max_message_id in topic
if (existing_topic.message_id <= max_removed_msg_id) {
const msgs_in_topic = message_util.get_messages_in_topic(stream_id, topic_name);
let max_message_id = 0;
for (const msg of msgs_in_topic) {
if (msg.id > max_message_id) {
max_message_id = msg.id;
}
}
existing_topic.message_id = max_message_id;
}
// Update max_message_id in stream
if (history.max_message_id <= max_removed_msg_id) {
history.max_message_id = message_util.get_max_message_id_in_stream(stream_id);
}
}
export function find_or_create(stream_id) {
let history = stream_dict.get(stream_id);
if (!history) {
history = new PerStreamHistory(stream_id);
stream_dict.set(stream_id, history);
}
return history;
}
export function add_message(opts) {
const stream_id = opts.stream_id;
const message_id = opts.message_id;
const topic_name = opts.topic_name;
const history = find_or_create(stream_id);
history.add_or_update({
topic_name,
message_id,
});
}
export function add_history(stream_id, server_history) {
const history = find_or_create(stream_id);
history.add_history(server_history);
fetched_stream_ids.add(stream_id);
}
export function has_history_for(stream_id) {
return fetched_stream_ids.has(stream_id);
}
export function get_recent_topic_names(stream_id) {
const history = find_or_create(stream_id);
return history.get_recent_topic_names();
}
export function get_max_message_id(stream_id) {
const history = find_or_create(stream_id);
return history.get_max_message_id();
}
export function reset() {
// This is only used by tests.
stream_dict.clear();
fetched_stream_ids.clear();
}