From 83cb9794e46299785d178570cfe7e32635a72ef6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 9 Feb 2008 16:04:13 +0000
Subject: Unicode tokens: support face changing via 'font-lock-face'

---
 generic/proof-config.el | 22 ++++++++++++++++++++--
 1 file changed, 20 insertions(+), 2 deletions(-)

(limited to 'generic')

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
-- 
cgit v1.2.3