Update index's `topic_msg_ids` accurately with topic updates.#1130

Merged

neiljp merged 4 commits intozulip:mainfrom

prah23:topic_msg_ids_bugfix

Mar 9, 2022

Commits on Mar 8, 2022

api_types: Extend UpdateMessageEvent to accomodate topic updates.

prah23
authored and
neiljp
committed
bugfix: model: Remove updated `message_id`s from their old topic's set.

prah23
authored and
neiljp
committed

Commits on Mar 9, 2022

bugfix: model: Add updated `message_id`s to their new topic's set.

prah23
authored and
neiljp
committed
refactor: model: Extract variable in _handle_update_message_event.
neiljp
committed