The following gif demonstrates folding:

you are viewing a single comment's thread
view the rest of the comments
[–] 2 points 1 year ago (1 child)

I got distracted. At first glance, it seems that PR was for the groundworks, I haven't been able to figure out how to actually do it. I'll try again in a bit.

  • source
  • parent
  • hideshow 1 child comment