@elextr good to hear we're on the same page.
I can update this PR but I'm unsure if we should wait for 5.1.4 ?
--
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/2930#issuecomment-960185318