diff options
Diffstat (limited to 'ide/coqide.ml')
| -rw-r--r-- | ide/coqide.ml | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 65409c2de..63754fd51 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -227,14 +227,18 @@ let coq_computing = Mutex.create () (* To prevent Coq from interrupting during undoing...*) let coq_may_stop = Mutex.create () -let break () = - prerr_endline "User break received"; - Coq.break_coqtop !(session_notebook#current_term.toplvl) - let force_reset_initial () = prerr_endline "Reset Initial"; session_notebook#current_term.analyzed_view#reset_initial true +(* How could we interrupt nicely coqtop in win32 ? + For the moment, we simply kill it brutally *) +let break = + if Sys.os_type = "Win32" then force_reset_initial + else fun () -> + prerr_endline "User break received"; + Coq.break_coqtop !(session_notebook#current_term.toplvl) + let do_if_not_computing text f x = let threaded_task () = if Mutex.try_lock coq_computing then |