Beanz/pdf.js
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source 
[Editor] Hide the comment sidebar on document change
This commit is contained in:
Tim van der Meij 2025-08-31 18:56:27 +02:00 committed by GitHub
commit 9855d85fb5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
web/comment_manager.js
View File

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