If it's not added yet, please consider adding a quick menu to change character encoding (like in Gnome Terminal). It's my only main requirement for a terminal e

If it's not added yet, please consider adding a quick menu to change character encoding (like in Gnome Terminal). It's my only main requirement for a terminal editor, and most editors seem to lack it.