diff options
Diffstat (limited to 'etc/junk.el')
| -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))))) + |