On Sun, Sep 14, 2025 at 11:49 AM Simon Albrecht <[email protected]> wrote:
> > Next to the \repeat, in the gutter, should be a minus sign with a box > > around it. > > > > It’s called “folding”: View -> Folding -> Enable Folding > Ah, thank you! That's why I couldn't find it in settings. -- Knute Snortum
