Comment 17 for bug 3923

Chris Coulson, neither of the comments which you appear to dislike are simply +1 votes; rgaobr said he doesn't know how to use the .diff patch file, and Haarvard Ostermann wrote that the workarounds are neither user friendly nor reliable, both of which are perfectly legitimate comments on a bug tracker.

To rgaobr, you need to download gnome-terminal-dev which contains the source code for the software, as well as the .diff patch file. To use the patch, change directory "cd gnome-terminal" and type "patch -p1 < ../default_encoding-2.13.91.diff" (or whatever path you downloaded the patch file).