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