[Github-comments] Re: [geany/geany] Encodings UI improvements (PR #3720)