From 5a7c8726183e0e5063309accc4045471e3c170da Mon Sep 17 00:00:00 2001
From: Tim van der Meij <timvandermeij@gmail.com>
Date: Sun, 31 Aug 2025 16:26:03 +0200
Subject: [PATCH] [Editor] Hide the comment sidebar on document change

If the document changes the comment state from the old document should
be replaced with that of the new document. To do this the comment
manager is destroyed, but the corresponding comment sidebar wasn't
destroyed yet, which resulted in the comment state from the old document
still being visible for the new document.

This commit fixes the issue by hiding the comment sidebar if the comment
manager is destroyed. Note that hiding the comment sidebar effectively
destroys all its state, and we already set the annotation mode to "none"
on document change so we don't want to keep showing the comment sidebar
anyway.
---
 web/comment_manager.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web/comment_manager.js b/web/comment_manager.js
index f2fc485da..58a503014 100644
--- a/web/comment_manager.js
+++ b/web/comment_manager.js
@@ -408,6 +408,7 @@ class CommentManager {
   destroy() {
     this.#uiManager = null;
     this.#finish();
+    this.#sidebar.hide();
   }
 }