I can reproduce the bug now. It happens if you add a new encoding to gnome-terminal via Menu "Terminal"->"Encoding"->"Add new encoding" (or such, localized version here...) Problem is solved with current gnome-terminal.
I can reproduce the bug now. ->"Encoding" ->"Add new encoding" (or such, localized version here...)
It happens if you add a new encoding to gnome-terminal via Menu "Terminal"
Problem is solved with current gnome-terminal.