From 024b1b5c5063e70222342617042cb482126dfb08 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sun, 29 Nov 2009 16:45:46 +0000
Subject: raised proof-shell-quit-timeout to accomodate bulky write-back
 images;

---
 generic/proof-config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 9602f56f..4740e1fb 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -852,7 +852,7 @@ See also `proof-shell-pre-sync-init-cmd'."
    :type '(choice string (const nil))
    :group 'proof-shell)
 
-(defcustom proof-shell-quit-timeout 4
+(defcustom proof-shell-quit-timeout 12
   ;; FIXME could add option to quiz user before rude kill.
   "The number of seconds to wait after sending `proof-shell-quit-cmd'.
 After this timeout, the proof shell will be killed off more rudely.
-- 
cgit v1.2.3