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.
Thanks. I pushed that change now (406eb61fc1), so I'm closing this report. Best, Arash _______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex