[Bug 401581] New: gnome-terminal: setting encoding to euc-kr doesn' t work anymore