From 86dbe3337197741d0ceaea740cbbd3e8b9b1dfe1 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Wed, 23 Aug 2017 01:57:29 +0200
Subject: Fix BZ#5687: Coqtop died badly modal message box from CoqIDE.

We let the user choose the most appropriate action to do if coqtop decides
to go berserk.
---
 ide/coqide.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'ide/coqide.ml')

diff --git a/ide/coqide.ml b/ide/coqide.ml
index feb45a7be..7b65c9fec 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -284,6 +284,8 @@ let saveall _ =
       | Some f -> ignore (sn.fileops#save f))
     notebook#pages
 
+let () = Coq.save_all := saveall
+
 let revert_all _ =
   List.iter
     (fun sn -> if sn.fileops#changed_on_disk then sn.fileops#revert)
-- 
cgit v1.2.3