@b4n OK to merge? Even if I decided to use some extra threads (which I doubt, best to avoid those), I'd still need to know that Geany is terminating to perform the cleanup. So I'd need the signal anyway.
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/4069#issuecomment-2514487144 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/4069/c2514487...@github.com>