true, but it appears that the icon only works if a object gtkpx=GTK.Pixmap(px,bmp); is created. even it it is not used at all.
Wow, that is weird. I have no idea why, it doesn't make sense.
Hmm, I also translated the code to c, and it works under c (without the GtkPixmap being created), but not under pike.
I wonder why that is...