Hi Berthold,

>>>>> Berthold Lorke <berth...@lorke.de> writes:
> Yes!  This is exactly the behaviour I expected, and I believe there is
> no reason why this shouldn't be the default.

> Thank you very much, I hope this will be patched in (or added as an
> option, but again, I see no reason why it shouldn't be the default).

Pushed to the git repo.  Thanks for your report.

Regards,
Ikumi Keita



_______________________________________________
bug-auctex mailing list
bug-auctex@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-auctex

Reply via email to