This bug didn't go away after all, there was just a detail I didn't notice before:
Clicking on the expanders triggers the bug, but clicking on the text next to them doesn't. So I'll resume my investigations when I've got more time. It doesn't look as if the debian patches touch anything that could cause this so I'll probably report this upstream too; it doesn't look as if anyone has already. -- TH * http://www.realh.co.uk -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org