Hello,

I've noticed that disabling Gutter -> Folding also disables the folding functionality, and there is no way to turn it back on. I think these to should be controlled separately. For me the small three-dots icon is sufficient for folding control.

In any case that's a bit counterintuitive. Gutter submenu is supposed to control the gutter only and not the general behavior.

--- Philipf