diff options
| author | David Aspinall | 2000-05-11 14:21:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-11 14:21:11 +0000 |
| commit | fc88176434943d97814fb1b071e57e8907d38957 (patch) | |
| tree | 5dd0e70d99057d0f27940258776e6b0d4e15bc69 | |
| parent | 82f160d5a962393608d7d3aa3c58766bdb1550ff (diff) | |
Compatibility hack
| -rw-r--r-- | generic/proof-utils.el | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 5a666510..7c8cfa54 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -383,7 +383,8 @@ Returns non-nil if response buffer was cleared." ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; Stuff for developing PG, not needed for ordinary users really. -;; +;; [Could consider moving this to a new file `proof-devel.el'] +;; (put 'proof-if-setting-configured 'lisp-indent-function 1) (put 'proof-define-assistant-command 'lisp-indent-function 'defun) @@ -406,9 +407,12 @@ Returns non-nil if response buffer was cleared." (t 'font-lock-function-name-face)) nil t))) -(setq lisp-font-lock-keywords - (append proof-extra-fls - lisp-font-lock-keywords)) +;; This doesn't work for FSF's font lock, developers should use +;; XEmacs! +(if (boundp 'lisp-font-lock-keywords) ; compatibility hack + (setq lisp-font-lock-keywords + (append proof-extra-fls + lisp-font-lock-keywords))) (setq autoload-package-name "proof") (setq generated-autoload-file "proof-autoloads.el") |