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