diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 09:13:32 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 09:13:32 +0000 |
| commit | ff12229a5c6bff20c403c6d357c3d40f93726e1c (patch) | |
| tree | 5615f19902089ef45ed92588bd68d21b63a856ca | |
| parent | 11281d51fdde771aa36925956d7a6ae84149ac03 (diff) | |
Disable large symbol font for now
| -rw-r--r-- | isar/isar-unicode-tokens.el | 4 | ||||
| -rw-r--r-- | lib/unicode-tokens.el | 14 |
2 files changed, 10 insertions, 8 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index e6dbea49..9d6cd263 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -72,7 +72,9 @@ ("Overline" "boverline" "eoverline" overline) ("Underline" "bunderline" "eunderline" underline) ("Big" "bbig" "ebig" big) - ("Small" "bsmall" "esmall" small)) + ("Small" "bsmall" "esmall" small) +; ("Large symbols" "bbigsyms" "ebigsyms" large-symbols) + ) "Control sequence tokens for Isabelle." :group 'isabelle-tokens :set 'isar-set-and-restart-tokens) diff --git a/lib/unicode-tokens.el b/lib/unicode-tokens.el index 055d3f61..eeab09aa 100644 --- a/lib/unicode-tokens.el +++ b/lib/unicode-tokens.el @@ -256,10 +256,10 @@ This is used for an approximate reverse mapping, see `unicode-tokens-paste'.") "The default font used for symbols. Only :family attribute is used." :group 'unicode-tokens-faces) -(defface unicode-tokens-large-symbol-font-face - '((t :family "STIXGeneral")) - "The font used for large symbols." - :group 'unicode-tokens-faces) +;; (defface unicode-tokens-large-symbol-font-face +;; '((t :family "STIXSize3")) +;; "The font used for large symbols." +;; :group 'unicode-tokens-faces) (defface unicode-tokens-script-font-face '((t :family "Script")) @@ -291,7 +291,7 @@ This is used for an approximate reverse mapping, see `unicode-tokens-paste'.") :group 'unicode-tokens-faces) (defconst unicode-tokens-fonts - '(symbol large-symbol script fraktur serif sans) + '(symbol script fraktur serif sans) ; large-symbol "A list of the faces used for setting fonts for Unicode Tokens.") @@ -313,8 +313,8 @@ This is used for an approximate reverse mapping, see `unicode-tokens-paste'.") (frakt "Frakt font" (face unicode-tokens-fraktur-font-face)) (serif "Serif font" (face unicode-tokens-serif-font-face)) (sans "Sans font" (face unicode-tokens-sans-font-face)) - (large-symbol "Large Symbol font" - (face unicode-tokens-large-symbol-font-face)) +; (large-symbol "Large Symbol font" +; (face unicode-tokens-large-symbol-font-face)) ;; NB: next ones not really generic. Previously this was ;; configured per-prover, but above are generic. (dec "Declaration face" (face proof-declaration-name-face)) |