@rovf . Is this issue still valid today? This PR is over 8 years old now. If it is not, can it be closed? Thanks.
— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you are subscribed to this thread.Message ID: <geany/geany/issues/815/1379095355@github.com>