diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-19 09:00:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-19 09:00:59 +0000 |
| commit | 98dc7edd17b2f2e638bf30b6d6d4faa1123609db (patch) | |
| tree | 299d8f02c3847a7b54c5e08c8c5c66b59de9bc13 /isar | |
| parent | 7cce12e5980089ecbfa011708297edefee182200 (diff) | |
iasbelle-string-face: Remove italic from defaults because
STIXRegular doesn't include italic variants of symbols, resulting
in empty glyphs appearing on Mac OS X
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-syntax.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index f0edc3e8..4d9cba4b 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -285,9 +285,9 @@ matches contents of quotes for quoted identifiers.") (defface isabelle-string-face (proof-face-specs - (:foreground "springgreen4" :italic t) - (:background "springgreen1" :italic t) - (:italic t)) + (:foreground "springgreen4") + (:background "springgreen1") + ()) "*Face for fontifying string contents in Isabelle." :group 'proof-faces) |