Your changes WILL BE AUTOMATICALLY REPLACED next time gtkhtml is updated, so this is only a quick-and-dirty fix. (Yes, you can use pinning or the like to retain them, but if you need to know how to unpin later, remember to , etc, or things may go pear-shaped, so I won't explain that here).
It's a gtkhtml bug, or possibly a libgtk+ bug.
A workaround is to patch libgtkhtml and rebuild it. Instructions:
$ sudo apt-get install fakeroot build-essential wget launchpadlibrar ian.net/ 27859768/ bug585626. diff
$ sudo apt-get build-dep gtkhtml3.14
$ mkdir $HOME/gtkhtml
$ cd $HOME/gtkhtml
$ apt-get source gtkhtml3.14
$ wget http://
$ patch -p0 < bug585626.diff
$ ( cd gtkhtml3.14-* && fakeroot debian/rules binary )
$ sudo dpkg -i *.deb
Your changes WILL BE AUTOMATICALLY REPLACED next time gtkhtml is updated, so this is only a quick-and-dirty fix. (Yes, you can use pinning or the like to retain them, but if you need to know how to unpin later, remember to , etc, or things may go pear-shaped, so I won't explain that here).