[geany/geany] 15831f: Merge pull request #3720 from b4n/encodings-ui-improvements