Merge pull request #20220 from timvandermeij/editor-hint-bugfix

[Editor] Hide the comment sidebar on document change

Author: timvandermeij

web/comment_manager.js

@@ -408,6 +408,7 @@ class CommentManager {
   destroy() {
     this.#uiManager = null;
     this.#finish();
+    this.#sidebar.hide();
   }
 }