[Github-comments] [geany/geany] solved issue #3252, merge PR. (PR #3253)