Works for me (tested both with and without a git repo) and I think it's cleaner than https://github.com/geany/geany/pull/3578. So I vote for merging this version.
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3597#issuecomment-1761550314 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/3597/[email protected]>
