+ separator15 = gtk_separator_menu_item_new ();
+ gtk_widget_show (separator15);
+ gtk_container_add (GTK_CONTAINER (menuTools_menu), separator15);
+ gtk_widget_set_sensitive (separator15, FALSE);
+
+ toolsReco = gtk_check_menu_item_new_with_mnemonic (_("_Shape Recognizer"));
+ gtk_widget_show (toolsReco);
+ gtk_container_add (GTK_CONTAINER (menuTools_menu), toolsReco);
+ gtk_widget_add_accelerator (toolsReco, "activate", accel_group,
+ GDK_S, (GdkModifierType) GDK_CONTROL_MASK | GDK_SHIFT_MASK,
+ GTK_ACCEL_VISIBLE);
+
+ toolsRuler = gtk_check_menu_item_new_with_mnemonic (_("Ru_ler"));
+ gtk_widget_show (toolsRuler);
+ gtk_container_add (GTK_CONTAINER (menuTools_menu), toolsRuler);
+ gtk_widget_add_accelerator (toolsRuler, "activate", accel_group,
+ GDK_L, (GdkModifierType) GDK_CONTROL_MASK | GDK_SHIFT_MASK,
+ GTK_ACCEL_VISIBLE);
+