[gtkada] Gtk_Pixmap

[Thomas De Contes]

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 !