diff options
author | 2014-12-23 00:09:00 +0000 | |
---|---|---|
committer | 2014-12-23 00:09:00 +0000 | |
commit | 73dd57e66a9a272dd6ed98428cd1803dd3b497d8 (patch) | |
tree | 64f7aa1dfbfdb4a6e4154aa55a9ca5117c73d41a /coq/coq.el | |
parent | 377373025c649d91be84d3e71b36d8c1508a0ea9 (diff) |
fixed comilation of prettify setting.
Diffstat (limited to 'coq/coq.el')
-rw-r--r-- | coq/coq.el | 11 |
1 files changed, 8 insertions, 3 deletions
@@ -29,6 +29,10 @@ (defvar coq-use-project-file t) ; defpacustom (defvar coq-use-editing-holes nil) ; defpacustom (defvar coq-hide-additional-subgoals nil) ; defpacustom + (defvar coq-may-use-prettify nil) ; may become t below + (if (fboundp 'prettify-symbols-mode) + (defvar coq-may-use-prettify t) + (defvar prettify-symbols-alist nil)) (proof-ready-for-assistant 'coq)) ; compile for coq (require 'proof) @@ -1407,9 +1411,10 @@ Warning: (cons coq-tags tags-table-list))) (set (make-local-variable 'blink-matching-paren-dont-ignore-comments) t) -; xemacs related, remove? -; (set (make-local-variable 'prettify-symbols-alist) -; coq-prettify-symbols-alist) + + (when coq-may-use-prettify + (set (make-local-variable 'prettify-symbols-alist) + coq-prettify-symbols-alist)) (setq proof-cannot-reopen-processed-files nil) |