diff options
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." |