Sorry for the trouble.
No problem, just a note, if you want to make a request better to make it on a new issue, not a comment on a merged and closed 4 year old pull request, its almost certain to be lost there :-)
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1932#issuecomment-1152883143
You are receiving this because you are subscribed to this thread.
Message ID:
geany/geany/pull/1932/c1152883143@github.com