The idea with (1) was to get some baseline regarding how often it happens. Is 
it every restart,  every 5 restarts, every 10 restarts?

Then, when you know that it e.g. happened every 3 restarts in (1) and you 
restarted the computer 10 times with (2) without any problem, we can be pretty 
sure this is the right fix.

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

Message ID: <geany/geany/issues/3946/[email protected]>

Reply via email to