Skip to content

Polish pinned file corners

The following discussion from !137544 (merged) should be addressed:

  • @danmh started a discussion:

    polish: bottom-left corner of pinned file is pointy

    Screenshot 2023-12-07 at 11.04.20.png