PlutoExtras.jl icon indicating copy to clipboard operation
PlutoExtras.jl copied to clipboard
verified publisher icon disberd

ExtendedTableOfContents gets hidden when it should not

Open disberd opened this issue 2 months ago • 0 comments

#47 should have fixed the actual floating table of content being hidden when the cell containing it is hidden, but this is not the case

disberd avatar Nov 20 '25 09:11 disberd