Mentions légales du service

Skip to content
Snippets Groups Projects

ide/session: Add a command that resets all proofs from a session

Merged DAILLER Sylvain requested to merge issue_295 into master
8 files
+ 64
1
Compare changes
  • Side-by-side
  • Inline
Files
8
+ 19
0
@@ -2140,6 +2140,25 @@ let (_ : GMenu.menu_item) =
~tooltip:"Remove unsuccessful proofs or transformations that are under a proved goal"
~callback
let (_ : GMenu.menu_item) =
(* This is considered risky command so it is intentionally not added to the
context menu. It also trigger the apparition of a popup. *)
let callback () =
let answer =
GToolbox.question_box
~default:2
~title:"Launching unsafe command"
~buttons:["Yes"; "No"]
"Do you really want to remove all proofs from this session ?"
in
match answer with
| 1 -> send_request Reset_proofs_req
| _ -> ()
in
tools_factory#add_item "Reset proofs"
~tooltip:"Remove all proofs attempts or transformations"
~callback
let (_ : GMenu.menu_item) =
let callback =
on_selected_rows ~multiple:true ~notif_kind:"Remove_subtree error" ~action:"remove"
Loading