[Lazarus] Folding ?

[Martin Frb]

On 19/02/2023 21:49, Martin Frb via lazarus wrote:
>
> On "Editor > Display" you can also change the "Gutter Separator index" 
> from 3 to 4 => then the separator (a gray line /color can be changed) 
> will be between the fold-tree and the text (and with that another 1 or 
> 2 pixels distance / not much, but)
> (the preview in the options seems to be not showing the effect...)

There seems to be a bug. That needs an IDE restart (after changing the 
option) for the line to be painted...