Closed
Description
Show collapsed lines
toggle is always visible. Probably it's because of empty hideable
span in each snippet.
https://dotty.epfl.ch/docs/reference/other-new-features/export.html
Show collapsed lines
toggle is always visible. Probably it's because of empty hideable
span in each snippet.
https://dotty.epfl.ch/docs/reference/other-new-features/export.html