diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-08-28 16:56:36 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-28 16:56:36 +0000 |
commit | d6708ddf3b79fa777df4356fcc8ca9e476aded34 (patch) | |
tree | 618bb047ea33fc45679c7f83a192e20cac2780a4 /coq/coq-unicode-tokens.el | |
parent | 1633011392e13006aef98ccf28e67b0950021fe9 (diff) |
Move fontsymb properties to library file.
Diffstat (limited to 'coq/coq-unicode-tokens.el')
-rw-r--r-- | coq/coq-unicode-tokens.el | 17 |
1 files changed, 0 insertions, 17 deletions
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 |