15 Oct
2004
15 Oct
'04
1:47 a.m.
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