@codebrainz approved this pull request. I thought I had handled this, but I must've been thinking of [this commit](https://github.com/geany/geany/pull/2602/commits/29d10f925adabef6bf01a75f160fa47fe9df5b8a).
Not tested, but it looks right. -- 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/2613#pullrequestreview-505168284
