Tested and LGTM apart from the minor issue regarding bumping GEANY_API_VERSION.

Maybe the PR description could be updated to not mention "Don't re-open a project that is already open" which isn't part of this PR anymore?

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.