Re: Empty line after an environment & bug#35284: 12.1.1; new verbatim environment wrongly commented out

[Tassilo Horn]

Hi Ikumi,

> I expect that the attached patch does this job. It introduces a new
> flag to distinguish whether there is additional text after the
> position where the new environment is inserted, and does another
> indent if such text exists.
>
> I used this patch for 3 months or so and it worked as expected.
>
> Does anyone find difficulties with this idea? E.g., should I introduce
> some new user option to suppress this behavior?

I'd say, let's first try without option and maybe add one later if and
only if someone complains.

Bye,
Tassilo