| author | Walther Neuper <neuper@ist.tugraz.at> |
| Fri, 10 Sep 2010 10:36:41 +0200 | |
| branch | isac-update-Isa09-2 |
| changeset 38001 | 15775bd26979 |
| parent 33945 | e7685297e9da |
| permissions | -rw-r--r-- |
1 --- a/generic/proof-config.el 2008-07-21 18:37:10.000000000 +0200
2 +++ b/generic/proof-config.el 2009-11-29 17:41:37.409062091 +0100
3 @@ -1493,7 +1493,7 @@
4 :type '(choice string (const nil))
5 :group 'proof-shell)
7 -(defcustom proof-shell-quit-timeout 4
8 +(defcustom proof-shell-quit-timeout 45
9 ;; FIXME could add option to quiz user before rude kill.
10 "The number of seconds to wait after sending proof-shell-quit-cmd.
11 After this timeout, the proof shell will be killed off more rudely.