diff options
| author | David Aspinall | 2008-02-09 16:04:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-02-09 16:04:13 +0000 |
| commit | 83cb9794e46299785d178570cfe7e32635a72ef6 (patch) | |
| tree | c3ef4939100a197d24bd460815c6558c6f783aa7 /generic | |
| parent | ae9a6f9b00e07a40ff8f07da1394929191aac5fc (diff) | |
Unicode tokens: support face changing via 'font-lock-face'
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 22 |
1 files changed, 20 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index aca9ff8d..11ae77bf 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -601,8 +601,7 @@ Warning messages can come from proof assistant or from Proof General itself." "*Face for showing active areas (clickable regions), outside of subterm markup." :group 'proof-faces) - -;;; Compatibility: these are required for use in GNU Emacs/font-lock-keywords +;;; Compatibility: these are required for use in onder GNU Emacs/font-lock-keywords (defconst proof-face-compat-doc "Evaluates to a face name, for compatibility.") (defconst proof-queue-face 'proof-queue-face proof-face-compat-doc) (defconst proof-locked-face 'proof-locked-face proof-face-compat-doc) @@ -620,6 +619,25 @@ Warning messages can come from proof assistant or from Proof General itself." (defconst proof-active-area-face 'proof-active-area-face proof-face-compat-doc) +;; +;; Faces used by unicode-tokens. +;; +;; TODO: make these into faces but extract attributes +;; to use in `unicode-tokens-annotation-translations'. +;; Let that be dynamically changeable +;; TODO: choose family acccording to likely architecture and what's available +(defconst proof-script-font-face-attributes + '((t :family "Lucida Calligraphy")) + "Script font face") + +(defconst proof-fraktur-font-face-attributes + '((t :family "Lucida Blackletter")) + "Fraktur font face") + + + + + ;; ;; START OF CONFIGURATION VARIABLES |