gnome

[Cédric Marcone <marcone mdeo fr>]

Hi list,

did  anyone encountered the "pixmap bug" in gnome-themes-manager ?
I saw an entry in Jeff's blog (Sun, 29 Jun 2003) with 2 screenshots :

http://www.gnome.org/~jdub/random/maddog-is-my-ocean-dream.png
http://www.gnome.org/~jdub/random/tridge-on-the-crux.png

The same happens here !

And when I change my theme selection, metacity doesn't update...

Should I log a bug in b.g.o ?

thank you,
--
Cedric