diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-11 17:49:54 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-11 17:49:54 +0000 |
| commit | bbfcecd95594c75f0c242fa836cc5649e9228996 (patch) | |
| tree | f0782341a011ca9d42238ae3779adec75a6784c2 /isar/isar-syntax.el | |
| parent | d79131e3222b17ede5fb5053502eab692b8f147a (diff) | |
isabelle-quote-face: add this face to customize vanishing quotes
Diffstat (limited to 'isar/isar-syntax.el')
| -rw-r--r-- | isar/isar-syntax.el | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index e076d33d..f0edc3e8 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -291,6 +291,14 @@ matches contents of quotes for quoted identifiers.") "*Face for fontifying string contents in Isabelle." :group 'proof-faces) +(defface isabelle-quote-face + (proof-face-specs + (:foreground "Gray80") + (:background "Gray30") + (:italic t)) + "*Face for quotes (string delimiters) in Isabelle." + :group 'proof-faces) + (defface isabelle-class-name-face (proof-face-specs (:foreground "red") @@ -340,6 +348,7 @@ matches contents of quotes for quoted identifiers.") :group 'proof-faces) (defconst isabelle-string-face 'isabelle-string-face) +(defconst isabelle-quote-face 'isabelle-quote-face) (defconst isabelle-class-name-face 'isabelle-class-name-face) (defconst isabelle-tfree-name-face 'isabelle-tfree-name-face) (defconst isabelle-tvar-name-face 'isabelle-tvar-name-face) @@ -376,7 +385,7 @@ START should be at the beginning of a line." (instring (put-text-property (1+ beg) (1- (point)) 'face isabelle-string-face) - (put-text-property beg (1+ beg) 'face proof-boring-face) + (put-text-property beg (1+ beg) 'face isabelle-quote-face) (put-text-property (1- (point)) (point) 'face proof-boring-face)) (t (put-text-property beg (point) 'face font-lock-comment-face)))) |