Synchronize menu tooltips and add mnemonics.

src/ide/why3ide.ml

@@ -2186,42 +2186,42 @@ let paste_item =
 let complete_context_menu () =
   let ( _ : GMenu.menu_item) = context_tools_factory#add_separator () in
   let context_edit_menu_item =
-    create_menu_item context_tools_factory "Edit"
-                   "View or edit proof script (shortcut: e)" in
+    create_menu_item context_tools_factory "_Edit"
+      "View or edit proof script" in
   connect_menu_item
     context_edit_menu_item
     ~callback:(on_selected_rows ~multiple:false ~notif_kind:"Edit error" ~action:"edit"
                                 (fun id -> Command_req (id, "edit")));
   let replay_context_menu_item =
-    create_menu_item context_tools_factory "Replay valid obsolete proofs"
-                     "Replay valid obsolete proofs below the current node (shortcut: r)" in
+    create_menu_item context_tools_factory "_Replay valid obsolete proofs"
+      "Replay valid obsolete proofs under the current node" in
   connect_menu_item
     replay_context_menu_item
     ~callback:(on_selected_rows ~multiple:false ~notif_kind:"Replay error" ~action:"replay"
                                 (fun id -> Command_req (id, "replay")));
   let replay_all_context_menu_item =
     create_menu_item context_tools_factory "Replay all obsolete proofs"
-                     "Replay all obsolete proofs below the current node" in
+      "Replay all obsolete proofs under the current node" in
   connect_menu_item
     replay_all_context_menu_item
     ~callback:(on_selected_rows ~multiple:false ~notif_kind:"Replay error" ~action:"replay all"
                                 (fun id -> Command_req (id, "replay all")));
   let context_remove_item =
     create_menu_item context_tools_factory "Remove"
-                     "Remove the selected proof attempts or transformations  (shortcut: del)" in
+      "Remove the selected proof attempts or transformations" in
   connect_menu_item
     context_remove_item
     ~callback:(on_selected_rows ~multiple:true ~notif_kind:"Remove_subtree error" ~action:"remove"
                                 (fun id -> Remove_subtree id));
   let context_clean_menu_item =
-    create_menu_item context_tools_factory  "Clean"
-                   "Remove unsuccessful proofs or transformations that are below a proved goal (shortcut: c)" in
+    create_menu_item context_tools_factory "_Clean"
+      "Remove unsuccessful proofs or transformations that are under a proved goal" in
   connect_menu_item
     context_clean_menu_item
     ~callback:(on_selected_rows ~multiple:false ~notif_kind:"Clean error" ~action:"clean"
                                 (fun id -> Command_req (id, "clean")));
   let context_interrupt_item =
-  create_menu_item context_tools_factory "Interrupt"
+  create_menu_item context_tools_factory "_Interrupt"
                    "Stop all running proof attempts" in
   connect_menu_item
     context_interrupt_item