[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Request for Features in DocTeX mode
From: |
Arash Esbati |
Subject: |
Re: Request for Features in DocTeX mode |
Date: |
Wed, 29 Mar 2023 17:25:18 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Dirk Ullrich <dirk.ullrich@posteo.de> writes:
> if I've correctly grasped Jan's problem, something like the appended
> patch may do the trick. It adds an option to customize whether in
> DocTeX mode indentation should be kept across multiple `macrocode`
> environments.
Thanks for the patch, seems to work. What do others think about this
change?
Best, Arash