[gtkada] Spinbuttons

[Manuel Op de Coul]

(sorry if this is received twice.)

>I'd suggest that you report these bugs to bugzilla.gnome.org,
>since the Gtk+ maintainers do not read this list.

Sure I did, but wanted to keep the readers on this list from
having to figure out what's wrong if they encounter it.

Enfin, I also formally submit the Gtk.Extra.Plot.Axis_Set_Labels_Style 
parameter profile as a GtkAda bug.

Manuel