codebrainz commented on this pull request.
> main_quit();
}
+ return G_SOURCE_REMOVE;
My thinking with `G_SOURCE_REMOVE` was that since it's past the _real_ signal
handler, maybe another signal would come and we don't want to handle it twice.
I'm not really sure what the right one is.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1255
