Source position: gtkmenutoolbutton.inc line 42
procedure gtk_menu_tool_button_set_menu(
button: PGtkMenuToolButton;
menu: PGtkWidget
);