>>> Here's another one.
>> Does "another one" mean "another one within a few days"? Then I
>> probably have missed the first one(s).
No, the other one was a good while ago and the changes are in the
repository, so either you magically came up with the same fixes, or you
didn't miss it ;-)
>> Hm, so I guess what we should do here is set `custom-buffer-done-kill'
>> to t and also add `exit-recursive-edit' to `kill-buffer-hook', both
>> buffer-locally, right?
Sounds OK, yes. But I haven't had time to actually look at the code to
figure out what it's trying to do.
Stefan
_______________________________________________
auctex-devel mailing list
auctex-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/auctex-devel
