diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-01-23 14:12:39 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-23 14:12:39 +0000 |
commit | e322521a3ea64344ed17feac5a6a961ba81db910 (patch) | |
tree | 97e92d20c390da76f78af99cf826bb4a9f0c79dc /generic/proof-shell.el | |
parent | fbfeb817505ce1e43939eb54e200599ff57e4916 (diff) |
proof-shell-exit: mention quit command and quit timeout in doc
Diffstat (limited to 'generic/proof-shell.el')
-rw-r--r-- | generic/proof-shell.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 2832c6c2..3d91f9ed 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -470,7 +470,10 @@ This simply kills the `proof-shell-buffer' relying on the hook function `proof-shell-kill-function' to do the hard work. If optional argument DONT-ASK is non-nil, the proof process is terminated -without confirmation." +without confirmation. + +The kill function uses `<PA>-quit-timeout' as a timeout to wait +after sending `proof-shell-quit-cmd' before rudely killing the process." (interactive) (if (buffer-live-p proof-shell-buffer) (when (or dont-ask |