Add tooltips to `Hide comment type` settings where necessary#21306

Merged

lunny merged 11 commits intogo-gitea:mainfrom

delvh:feature/document-comment-type-hiding

Apr 12, 2023

Commits on Sep 30, 2022

Add tooltips to "Hide comment type" settings where necessary
delvh
committed

Commits on Apr 9, 2023

Merge branch 'main' into feature/document-comment-type-hiding
silverwind
authored

Commits on Apr 10, 2023

Commits on Apr 11, 2023

Commits on Apr 12, 2023