112
112
tool_options_menu_update_presets (manager, merge_id, ui_path,
116
116
tool_options_menu_update_presets (manager, merge_id, ui_path,
120
120
tool_options_menu_update_presets (manager, merge_id, ui_path,
124
124
tool_options_menu_update_presets (manager, merge_id, ui_path,
128
128
gtk_ui_manager_ensure_update (GTK_UI_MANAGER (manager));