GNUstep's GTK theme now changes when user selects a new theme...

[Gregory Casamento]

I recently made changes so that GNUstep's GTK theme now changes when
user selects a new theme.

There's one problem, though...  It seems like the buttons for the
sliders, the switch and the radio buttons don't update when the theme
is changed.  For some reason these images are not reloaded (even
though they are surely generated when the theme is loaded/reloaded).
So, therefore, the new images which are regenerated after the initial
load are not taking effect.

I'm wondering if anyone has a clue about this.

GC
-- 
Gregory Casamento
Open Logic Corporation, Principal Consultant
yahoo/skype: greg_casamento, aol: gjcasa
(240)274-9630 (Cell)
http://www.gnustep.org
http://heronsperch.blogspot.com