|
From: | Dave Kemper |
Subject: | Re: Should temporary indentation be ignored when centering? |
Date: | Tue, 23 May 2023 15:36:55 -0500 |
On 5/21/23, G. Branden Robinson <g.branden.robinson@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.
[Prev in Thread] | Current Thread | [Next in Thread] |