Thanks, Tassilo. I already set this, but was wondering if there is even a faster way. Maybe it's good to have this question since it may also be an indicator of an error.
Cheers, Marius _______________________________________________ auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/auctex
