From bbfcecd95594c75f0c242fa836cc5649e9228996 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 11 Aug 2010 17:49:54 +0000 Subject: isabelle-quote-face: add this face to customize vanishing quotes --- isar/isar-syntax.el | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) (limited to 'isar') 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)))) -- cgit v1.2.3