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
