@elextr Thanks for the answer.

> Document objects are never freed, so you will never get an invalid pointer, 
> so thats one less worry. So no need to check if its in the document array, it 
> will be.

Alright, that's the piece of information I was missing - I never actually 
looked at the implementation until now, and yes, there are the pointers from 
the array that get reused so the code does the "right thing" even though 
checking the ID would be better.


-- 
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/3872#issuecomment-2106222928
You are receiving this because you are subscribed to this thread.

Message ID: <geany/geany/issues/3872/2106222...@github.com>

Reply via email to