tool_options_menu_setup ()

void                tool_options_menu_setup             (GimpUIManager *manager,
                                                         const gchar *ui_path);