diff options
| author | David Aspinall | 1998-11-20 14:26:20 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-20 14:26:20 +0000 |
| commit | dc8d17bf7586ff880ba6292cb182f2dbd37c98e7 (patch) | |
| tree | 8de9ea48f9130c8d42d78bb1a4c8f68d06515165 /generic/proof.el | |
| parent | b23d4243bcdf6acdda1af8143ad9e7fc901d25c4 (diff) | |
Reimplemented functions to shut down and restart proof process.
Scrapped proof-shell-exit-hook.
Added proof-shell-quit-cmdd, proof-shell-restart-comd
Fancier Scripting indicator for active scripting buffer.
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof.el b/generic/proof.el index 64f57d1e..5a7c6d9b 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -186,6 +186,7 @@ frame is the one showing the script buffer.)" (delete-windows-on buffer t))) ;; utility function +;; FIXME da: maybe not used. Put into spare parts file. (defun proof-buffers-in-mode (mode &optional buflist) "Return a list of the buffers in the buffer list in major-mode MODE. Restrict to BUFLIST if it's set." |