Changing pixmaps

[Pavel Greenfield <pavel riskdevel ml com>]

Actually I just realized that I can't figure out much more than the value
of val in 

GtkWidget* gtk_pixmap_new        (GdkPixmap  *pixmap,
				  GdkBitmap  *mask);
void       gtk_pixmap_set        (GtkPixmap  *pixmap,
				  GdkPixmap  *val,
				  GdkBitmap  *mask);

Can I use these function to change a pixmap that is already appearing in a
button, or do I have to completely reassign (following Ian's
example) pixmapwid to a new value with gtk_pixmap_new() and repack into
the box? (How would you unpack the previous one, then?)

If the above is complete nonsense, then please tell me how you would
change a pixmap (in a button or whatever...)?

Pavel 
------------------------------------------------------ 
  Pavel Grinfeld      |   www.geocities.com/SoHo/5277
  pavel@ml.com        |
  (212) 449 1318 (w)  |  (718) 797 1688 (h)
______________________________________________________