274
274
g_value_set_boolean (&sensitive, FALSE);
276
276
action1 = gtk_ui_manager_get_action (GTK_UI_MANAGER (ephy_window_get_ui_manager (window)),
277
"/menubar/ToolsMenu/SgmlValidate");
277
"/ui/PagePopup/ExtensionsMenu/SgmlValidate");
278
278
action2 = gtk_ui_manager_get_action (GTK_UI_MANAGER (ephy_window_get_ui_manager (window)),
279
"/menubar/ToolsMenu/CheckLinks");
279
"/ui/PagePopup/ExtensionsMenu/CheckLinks");
281
281
embed = ephy_embed_container_get_active_child (EPHY_EMBED_CONTAINER (window));
391
391
g_object_set_data_full (G_OBJECT (window), WINDOW_DATA_KEY, data,
392
392
(GDestroyNotify) free_window_data);
394
gtk_ui_manager_add_ui (manager, merge_id, "/menubar/ToolsMenu",
394
gtk_ui_manager_add_ui (manager, merge_id, "/ui/PagePopup/ExtensionsMenu",
395
395
"ErrorViewerSep", NULL,
396
396
GTK_UI_MANAGER_SEPARATOR, FALSE);
397
gtk_ui_manager_add_ui (manager, merge_id, "/menubar/ToolsMenu",
397
gtk_ui_manager_add_ui (manager, merge_id, "/ui/PagePopup/ExtensionsMenu",
398
398
"CheckLinks", "CheckLinks",
399
399
GTK_UI_MANAGER_MENUITEM, FALSE);
400
400
#ifdef HAVE_OPENSP
401
gtk_ui_manager_add_ui (manager, merge_id, "/menubar/ToolsMenu",
401
gtk_ui_manager_add_ui (manager, merge_id, "/ui/PagePopup/ExtensionsMenu",
402
402
"SgmlValidate", "SgmlValidate",
403
403
GTK_UI_MANAGER_MENUITEM, FALSE);
404
404
#endif /* HAVE_OPENSP */
405
gtk_ui_manager_add_ui (manager, merge_id, "/menubar/ToolsMenu",
405
gtk_ui_manager_add_ui (manager, merge_id, "/ui/PagePopup/ExtensionsMenu",
406
406
"ErrorViewer", "ErrorViewer",
407
407
GTK_UI_MANAGER_MENUITEM, FALSE);