And the truth is that I found the escape command only after making this patch, hence the commit message.
— 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/pull/3178/c1123700070@github.com>