@kugel- sounds sensible. I just didn't want to spend a bunch of time porting only to still be out of date. If you've already done it for 4, then no point in waiting for 5, as you said. Just make a PR that closes this issue and we can worry about separately when the time comes.
-- 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/issues/2519#issuecomment-691697175
