Looks like all the relevant bits were merged, so I'm closing. Feel free to reopen if there's still something missing from this issue.
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/3009#issuecomment-1528083095
You are receiving this because you are subscribed to this thread.
Message ID:
geany/geany/issues/3009/1528083095@github.com