fix: Filter out headings inside dialogs for toc highlighting#792
Open
MoritzWeber0 wants to merge 1 commit intomainfrom
Open
fix: Filter out headings inside dialogs for toc highlighting#792MoritzWeber0 wants to merge 1 commit intomainfrom
MoritzWeber0 wants to merge 1 commit intomainfrom