Yes, but I think (3) is really rare - closing documents is typically done by users; if plugins do that, it would be very unexpected. That doesn't mean there couldn't be some races like that when a user closes a document, opens another, and only after that an asynchronous operation with a doc argument finishes.
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/3872#issuecomment-2106232746 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/issues/3872/[email protected]>
