Source position: gtkmenu.inc line 141
procedure gtk_menu_set_tearoff_state(
menu: PGtkMenu;
torn_off: gboolean
);