> Thanks for clarification. If I understand correctly, "use the image from > the old overlay in place of the construction symbol" means that the user > can't tell whether a particular preview image is to be updated > afterwards or has already been updated, by its appearance only, during > the regeneration process is running. Right? Though I don't object to > that behavior, I think that difference should be mentioned somewhere in > the documentation as a feature (side effect) of non-nil value of the new > customize option.
Yes, that's right. This behavior could just as well be its own customization option, perhaps "preview-indicate-regeneration" (default: t), independent of the option "preview-leave-open-previews-visible" just added; let me know if you'd prefer that. I'll also be happy to update the doc/texi if that's what you intend (presumably by sending a patch on top of the current one, to this thread?) _______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex