Source position: gtkmenushell.pp line 12
type TGtkMenuShell = record
container: TGtkContainer;
children: PGList;
active_menu_item: PGtkWidget;
parent_menu_shell: PGtkWidget;
flag0: Word;
activate_time: guint32;
end;