Comment 15 for bug 386199

Revision history for this message
Craig Ringer (ringerc) wrote :

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
$ sudo apt-get build-dep gtkhtml3.14
$ mkdir $HOME/gtkhtml
$ cd $HOME/gtkhtml
$ apt-get source gtkhtml3.14
$ wget http://launchpadlibrarian.net/27859768/bug585626.diff
$ 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).