diff options
author | 1998-10-23 09:50:24 +0000 | |
---|---|---|
committer | 1998-10-23 09:50:24 +0000 | |
commit | 46620558210c52a6ca510a77f2ae3bfc48941a05 (patch) | |
tree | 3a9184e10e81a101311c5a67fe2b899484cea67a /generic/proof-config.el | |
parent | 2e7671f6c80becf896ca1ba4f0f5cb8e05e3b281 (diff) |
Replaced remaining face defs with defface calls.
Removed font-lock-<newface> with proof-<newface> so we
know where things come from and won't break future font locks.
Diffstat (limited to 'generic/proof-config.el')
-rw-r--r-- | generic/proof-config.el | 64 |
1 files changed, 62 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 148d5a63..676f317d 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -66,6 +66,23 @@ Used internally and in menu titles." :type 'boolean :group 'proof) +;; +;; Faces. +;; We ought to test that these work sensibly: +;; a) with default colours +;; b) with -rv +;; c) on console +;; d) on win32 +;; e) all above with FSF Emacs and XEmacs. +;; But it's difficult to keep track of all that! +;; Please report any bad/failing colour +;; combinations to proofgen@dcs.ed.ac.uk +;; +;; Some of these faces aren't used by default in Proof General, +;; but you can use them in font lock patterns for specific +;; script languages. +;; + (defface proof-queue-face '((((type x) (class color) (background light)) (:background "mistyrose")) @@ -73,7 +90,7 @@ Used internally and in menu titles." (:background "mediumvioletred")) (t (:foreground "white" :background "black"))) - "Face for commands in proof script waiting to be processed." + "*Face for commands in proof script waiting to be processed." :group 'proof) (defface proof-locked-face @@ -83,9 +100,52 @@ Used internally and in menu titles." (:background "navy")) (t (:underline t))) - "Face for locked region of proof script (processed commands)." + "*Face for locked region of proof script (processed commands)." + :group 'proof) + +(defface proof-declaration-name-face + '((((type x) (class color) (background light)) + (:foreground "chocolate" + :bold t)) + (((type x) (class color) (background dark)) + (:foreground "orange" + :bold t)) + (t + (:italic t :bold t))) + "*Face for declaration names in proof scripts." :group 'proof) +(defface proof-tacticals-name-face + '((((type x) (class color) (background light)) + (:foreground "MediumOrchid3")) + (((type x) (class color) (background dark)) + (:foreground "orchid")) + (t + (bold t))) + "*Face for names of tacticals in proof scripts." + :group 'proof) + +(defface proof-error-face + '((((type x) (class color) (background light)) + (:background "salmon1" + :bold t)) + (((type x) (class color) (background dark)) + (:background "brown" + :bold t)) + (t + (:bold t))) + "*Face for error messages from proof assistant.") + +(defface proof-eager-annotation-face + '((((type x) (class color) (background light)) + (:background "lemon chiffon")) + (((type x) (class color) (background dark)) + (:background "darkgoldenrod")) + (t + (:italic t))) + "*Face for messages from proof assistant.") + + |