Source position: gtkmenu.pp line 65
procedure gtk_menu_set_tearoff_state(
menu: PGtkMenu;
torn_off: gboolean
);