diff options
| author | David Aspinall | 1999-11-11 10:47:48 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-11 10:47:48 +0000 |
| commit | d629e1c6c2363024c9318c6daf1a8456cceb1a61 (patch) | |
| tree | 1472b1c88c21fbf0b2db8a3620ec85a76da9fec0 /etc | |
| parent | 671635077b301e62251b13141b0873a2538e570f (diff) | |
Extensive fixes for x-symbol and font-lock.
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/junk.el | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/etc/junk.el b/etc/junk.el index 41e47db6..46da7f0c 100644 --- a/etc/junk.el +++ b/etc/junk.el @@ -32,3 +32,28 @@ arrive." 'proof-eager-annotation-face)) (proof-shell-message str)))) + +; (cond +; ((string-match "FSF" emacs-version) +; ;; setting font-lock-defaults explicitly is required by FSF Emacs +; ;; 20.2's version of font-lock +; (make-local-variable 'font-lock-defaults) +; (setq font-lock-defaults '(font-lock-keywords))) +; ;; In XEmacs, we must make a new variable to hold +; ;; the defaults. +; ;; (FIXME: this makes toggling font-lock robust now, before +; ;; it was ropy. Should check whether this is the right +; ;; was for FSF too). +; (t +; (let +; ((flks (intern (concat (symbol-name major-mode) +; "-font-lock-defaults")))) +; ;; Take a copy of current font-lock-keywords to make them +; ;; the default in future. Then font-lock-mode can be +; ;; safely switched on and off. +; (set flks font-lock-keywords) +; (make-local-variable 'proof-font-lock-defaults) +; (setq proof-font-lock-defaults font-lock-keywords) +; (setq font-lock-defaults '(proof-font-lock-defaults))))) + ; (put major-mode 'font-lock-defaults (list flks))))) + |