[gtkada] End of life for gtk+extra and GTK+2

[Nicolas Setton]

>> Well, I was under the impression that some of the GtkAda widgets
>> relied on gtk+extra./  If this is incorrect, then of course the
>> easiest solution to the problem is simply to not provide the
>> bindings to gtk+extra anymore.
>
> Also, does GPS need any of the gtk+extra widgets?

No, GPS does not depend on gtk+extra.

If you would like to provide a patch to allow configuring gtk+extra  
off, we'd be happy to apply it :-)

Nicolas