Cosmetic problem with GTK_STATE_PRELIGHT

[Stefan Jeske <jeske braunschweig netsurf de>]

Hi there !

I discovered the following problem : I'd like to set a button insensitive
after pressing it. (Every time the button is pressed, a list item is
deleted. List empty => button should be disabled)

But after gtk_widget_set_sensitive (button, FALSE) the button freezes
with the GTK_STATE_PRELIGHT background color, which is quite irritating
(there are two widgets in prelight color from now on).

Should't gtk_widget_set_sensitive (button, FALSE) be able to detect this
somehow and change the widget's background color ?

Regards,
  Stefan