diff -r 259be9cab616 -r 5af6e72c8e5a src/gtkhtml.c
--- a/src/gtkhtml.c Mon Aug 07 22:31:25 2000 +0000
+++ b/src/gtkhtml.c Tue Aug 08 02:22:54 2000 +0000
@@ -2059,7 +2059,7 @@
/*end my stuff*/
- if (hb->back != NULL) {
+ if (hb->back != NULL && selected_state != GTK_STATE_SELECTED) {
int wid = gdk_string_width(hb->font, hb->text),
hei = gdk_text_height(hb->font, "C", 1);
gdk_gc_set_foreground(gc, hb->back);