Patch from #1177 (comment), plus an attempt at considering the current scope (which is likely riddled with bad stuff, but still a POC).
I can drop the second (toy) patch if the first is interesting enough, and possibly make a separate PR afterward if it's somehow interesting still. In any case, reviewing each commit separately is likely a better approach.
https://github.com/geany/geany/pull/1188
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.