Enable hiding of comments #2058
Description
I have comment count 3, but the PR has much more: JabRef/jabref#12710
I "deleted" the other comments using comment.delete(). It seems this has no effect on the UI.
In the UI, one can use "Hide"
Should be possible via API, too?