[gtkada] Problems with tree widget

[Arnaud Charlet]

> It is interesting to know that the authors of gtk+ recommand in fact to use
> Gtk_Ctree, which is far more powerful and less broken. This is by the way the
> only solution if you want to include pixmaps in your tree.

Or put another way: Gtk_Tree should be considered as obsolete, and will
disappear sometime in the future, so you should switch to Ctree ASAP.

Arno