GNOME Bugzilla – Bug 757457
Wrong charset in Terminal menu
Last modified: 2017-10-22 17:00:28 UTC
Define a profile with a charset which hasn't been added under Terminal -> Set Character Encoding -> Add or Remove. (E.g. go with the default of only UTF-8 being added, and define a latin-1 profile.) Launch a new tab/window with this profile. Go to the Terminal -> Set Character Encoding menu. Notice that UTF-8 has a dot in front of it, suggesting that this is the current encoding.
Fixed with the gmenu port.