diff options
| author | David Aspinall | 2008-01-17 12:13:28 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-17 12:13:28 +0000 |
| commit | d7df9ffe5191aab4f54938fcf63fcd144a123722 (patch) | |
| tree | 562c39fbdf3d8cb454d1bc8bd747932c56ccfaf4 | |
| parent | 7a5a21547228eb3b3b7042e6f32f4d3e0c6fed3c (diff) | |
Prevent font-lock complaining about not being setup.
| -rw-r--r-- | generic/proof-x-symbol.el | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 835d4986..951b4cc2 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -227,6 +227,13 @@ A subroutine of proof-x-symbol-enable." (if (featurep 'mule) (let ((font-lock-keywords x-symbol-font-lock-keywords) ;; TODO: compile keywords (font-lock-defaults '(x-symbol-font-lock-keywords t)) + ;; GE 21.1: the `font-lock-set-defaults' flag prevents font lock + ;; complaining (in font-lock-compile-keywords) that + ;; we've not run font-lock-set-defaults. It gives dire + ;; warnings what may happen otherwise but dynamic + ;; binding of `font-lock-keywords' here should prevent + ;; global changes to that variable. + (font-lock-set-defaults t) (x-symbol-mode t) (x-symbol-subscripts t)) (condition-case err |