On Wed, 13 Mar 2024 at 13:40, Arash Esbati <ar...@gnu.org> wrote: > Reuben Thomas <r...@sc3d.org> writes: > > > I think it does make sense to make it file-local, as one could be > > engaged in quite different workflows and want different behaviours. >
Many thanks for addressing this report and adding the functionality requested! -- https://rrt.sc3d.org
_______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex