diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-06-30 18:38:57 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-06-30 18:38:57 +0000 |
| commit | fe8717bff0f8373be3911bfd984478c8e34c23e5 (patch) | |
| tree | 945d4a2436009fb2ce2cd3eac937d867fc130866 /isa | |
| parent | 8606f8bfd3f85aaea52a9a6374adb2e33b6a2a0a (diff) | |
Fix GNU Emacs/X-Symbol compatibility for sml-sym-face added by Lucas Dixon.
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/isa-syntax.el | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el index 234c6dfc..00a2bd4b 100644 --- a/isa/isa-syntax.el +++ b/isa/isa-syntax.el @@ -273,23 +273,25 @@ "*Face for Isabelle term / type hiliting" :group 'proof-faces) -(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) -(defconst isabelle-free-name-face 'isabelle-free-name-face) -(defconst isabelle-bound-name-face 'isabelle-bound-name-face) -(defconst isabelle-var-name-face 'isabelle-var-name-face) - ;; special face for key symbols, make them bold -(defface isa-font-lock-sml-symbol-face +(defface isabelle-sml-symbol-face '((((class color) (background dark)) (:bold t)) (((class color) (background light)) (:bold t)) (((class grayscale) (background light)) (:bold t)) (((class grayscale) (background dark)) (:bold t)) (t (:bold t))) - "SML symbol/character highlightling face" + "*SML symbol/character highlightling face" :group 'proof-faces) +;; GNU Emacs compatibility for above faces. +(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) +(defconst isabelle-free-name-face 'isabelle-free-name-face) +(defconst isabelle-bound-name-face 'isabelle-bound-name-face) +(defconst isabelle-var-name-face 'isabelle-var-name-face) +(defconst isabelle-sml-symbol-face 'isabelle-sml-symbol-face) + ;; regexp for finding function/variable/struct/sig/functor names (defconst isa-sml-function-var-names-regexp (concat "\\(" (proof-ids-to-regexp isa-sml-names-keywords) "\\)[\ \t]*\\(" isa-id "\\)")) @@ -303,7 +305,7 @@ (defvar isa-font-lock-keywords-1 (list (cons (proof-ids-to-regexp isa-keywords) 'font-lock-keyword-face) - (cons (regexp-opt isa-keyword-symbols) 'isa-font-lock-sml-symbol-face) + (cons (regexp-opt isa-keyword-symbols) 'isabelle-sml-symbol-face) (list isa-sml-function-var-names-regexp 2 'font-lock-function-name-face 'append' t) (list isa-sml-type-names-regexp 2 'font-lock-function-name-face 'append' t) (cons (proof-ids-to-regexp isa-tacticals) 'proof-tacticals-name-face) |