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

That analysis has already been performed, the title of this issue says it all: randomly (aka I could find no pattern).


Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <geany/geany/issues/3946/2351766897@github.com>