diff options
| author | David Aspinall | 1999-11-11 15:33:44 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-11 15:33:44 +0000 |
| commit | ee53106260209cd41f6eb014458f8ec37664453d (patch) | |
| tree | cd80b5add06983da3d46707dbf04600bc5b10578 /generic/proof-script.el | |
| parent | d629e1c6c2363024c9318c6daf1a8456cceb1a61 (diff) | |
Next round of fixups for font-lock and x-symbol.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 16 |
1 files changed, 2 insertions, 14 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 5805d0e6..535cf0a8 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2282,20 +2282,8 @@ finish setup which depends on specific proof assistant configuration." ;; ;; Fontlock. - ;; - ;; At the moment, the specific code hacks font-lock-keywords. - ;; Here we use the value there to hack font-lock-defaults, which - ;; is used by font-lock to set font-lock-keywords from again!! - ;; Yuk. - ;; Previously, font-lock-keywords was used directly as a setting - ;; for the defaults. This has a bad interaction with x-symbol - ;; which edits font-lock-keywords and loses the setting. - ;; So we make a copy of it in a new variable. - ;; - (make-local-variable 'font-lock-defaults) ; not needed in XEmacs, FSF? - (make-local-variable 'proof-font-lock-defaults) - (setq proof-font-lock-defaults font-lock-keywords) - (setq font-lock-defaults '(proof-font-lock-defaults)) + ;; + (proof-font-lock-configure-defaults) ;; FIXME (da): zap commas support is too specific, should be enabled ;; by each proof assistant as it likes. |