diff: src/gtkhtml.c
src/gtkhtml.c
- changeset 637
- 5af6e72c8e5a
- parent 635
- c170fb93cf1b
- child 643
- fd35a0b71e46
--- 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);
