Re: Should temporary indentation be ignored when centering?

[Dave Kemper]

On 5/21/23, G. Branden Robinson <g.branden.robin...@gmail.com> wrote:
> I think perhaps we should change this behavior.
>
> Most of the time I don't think it is what a user would expect.

I find your case for the change convincing.