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