hi :-)
https://libre.adacore.com/GtkAda/docs/2.8/gtkada_rm/gtk-image.html"If you wish to store the pixel data on the server side (thus not
allowing manipulation of the data after creation) you should use
Gtk_Pixmap."
but Gtk_Pixmap is "tagged" as Obsolescent
well, should we consider that we don't have to store the pixel data
on the server side, even if we don't want to modify it ?
--
j'agis contre l'assistanat, je travaille dans une SCOP !
_______________________________________________
gtkada mailing list
gtkada@...
http://lists.adacore.com/mailman/listinfo/gtkada