From d6708ddf3b79fa777df4356fcc8ca9e476aded34 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 28 Aug 2009 16:56:36 +0000 Subject: Move fontsymb properties to library file. --- coq/coq-unicode-tokens.el | 17 ----------------- 1 file changed, 17 deletions(-) (limited to 'coq/coq-unicode-tokens.el') diff --git a/coq/coq-unicode-tokens.el b/coq/coq-unicode-tokens.el index c0691d85..adb66b47 100644 --- a/coq/coq-unicode-tokens.el +++ b/coq/coq-unicode-tokens.el @@ -195,23 +195,6 @@ meaning to be useful." ("Frakt" "FRACT" "" frakt) ("Roman" "ROMAN" "" serif))) - - -(defcustom coq-fontsymb-properties - '((sub (display (raise -0.4))) - (sup (display (raise 0.4))) - (bold (face (:weight bold))) - (italic (face (:slant italic))) - (script (face unicode-tokens-script-font-face)) - (frakt (face unicode-tokens-fraktur-font-face)) - (serif (face unicode-tokens-serif-font-face))) - "Mapping from symbols to property lists used for markup scheme." - :set 'proof-set-value) - - - - - (provide 'coq-unicode-tokens) ;;; coq-unicode-tokens.el ends here -- cgit v1.2.3