diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 09:17:32 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 09:17:32 +0000 |
commit | 3fdb0399be6929187318a0b4f2a4c0c7061f2f6e (patch) | |
tree | 005262b49613d0d922217ed96ac1413fe4b4f3e7 | |
parent | 9b48ef31aeaf14c9be09eac6800db95a5fa9dc51 (diff) |
Missing declaration
-rw-r--r-- | lib/pg-fontsets.el | 3 | ||||
-rw-r--r-- | lib/scomint.el | 5 |
2 files changed, 8 insertions, 0 deletions
diff --git a/lib/pg-fontsets.el b/lib/pg-fontsets.el index bb6d74e0..29fd38f8 100644 --- a/lib/pg-fontsets.el +++ b/lib/pg-fontsets.el @@ -30,6 +30,9 @@ :type 'string :group 'proof-user-options) +(defvar pg-fontsets-names nil + "*List of fontsets to use with Proof General.") + (defun pg-fontsets-make-fontsetsizes (basefont) (dolist (size '(10 12 14 18 22)) (add-to-list 'pg-fontsets-names diff --git a/lib/scomint.el b/lib/scomint.el index fd85cbe6..f185ffb1 100644 --- a/lib/scomint.el +++ b/lib/scomint.el @@ -32,6 +32,10 @@ SComint buffers are truncated from the top to be no greater than this number, if non-nil.") +(defvar scomint-output-filter-functions nil + "Functions to call after output is inserted into the buffer.") + + (defvar scomint-mode-map (let ((map (make-sparse-keymap))) (define-key map "\C-m" 'scomint-send-input) @@ -48,6 +52,7 @@ This is called after the process is cranked up. It is useful for things that must be done each time a process is executed in a Comint mode buffer (e.g., `(process-kill-without-query)').") +(put 'scomint-output-filter-functions 'permanent-local t) (put 'scomint-mode 'mode-class 'special) |