[gtkada] Option Menu?

[Preben Randhol]

I have now used the Combo box widget as it is much easier than the
Option Menu widget. The problem is that the Option Menu is more
appropriate in some cases. For the Combo box widget it is easy to get
what the user chose by doing Get_Chars on the Gentry widget, but how can
one do something similar with the Option Menu. I don't quite understand
how it works and I don't find examples on how to use it.

Thanks in advance

Preben