Reuben Thomas <[email protected]> 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 [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
