[gtkada] Fwd: Pixmap

[Frode Tennebø]

On Tuesday 09 April 2002 11:11, you wrote:
> >But I was referring to the predefined pixmaps for save, new, open,
> >print, etc.
>
> These are GNOME icons, which is why they are not recognized/supported
> by Gate, as documented in the GtkAda User's Guide.

I get that much, but where are they located so that I can manually copy 
them into wherever I want them? I also tried generating C code, but 
this didn't retrieve them either....

 -Frode