Source position: gtkoptionmenu.pp line 12
type TGtkOptionMenu = record
button: TGtkButton;
menu: PGtkWidget;
menu_item: PGtkWidget;
width: guint16;
height: guint16;
end;