diff options
| author | David Aspinall | 2010-08-11 17:16:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-11 17:16:51 +0000 |
| commit | 0517033d0463c272da00d4af5209699ccf29f059 (patch) | |
| tree | 92e23031e16e6938ca8b2ea6a63f776ba4e60b01 | |
| parent | e53cf3da5fdd2ebc9f4e4b287acb7bc5eb99372b (diff) | |
Experiment with default string font being italic, to match STIX italic.
| -rw-r--r-- | isar/isar-syntax.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index d1d2c1f1..e076d33d 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -285,8 +285,8 @@ matches contents of quotes for quoted identifiers.") (defface isabelle-string-face (proof-face-specs - (:foreground "springgreen4") - (:background "springgreen1") + (:foreground "springgreen4" :italic t) + (:background "springgreen1" :italic t) (:italic t)) "*Face for fontifying string contents in Isabelle." :group 'proof-faces) |