Hi Al, I see your points, and am likewise happy with what you ultimately suggest:
> my preference is still to simply have a single customization variable > which we can use directly in the code. Thanks, best, Paul _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
