diff options
author | 1998-10-22 17:38:37 +0000 | |
---|---|---|
committer | 1998-10-22 17:38:37 +0000 | |
commit | bed25bc850b8d6e50d56a9dd4b30e1fca2eb086a (patch) | |
tree | 0aac2a1b76d50df5a995663b5b99ea81d266d07f /generic/proof-config.el | |
parent | 0a13df791bfca5cc0d89d4dd38bc787245a97799 (diff) |
Added deffaces to proof-config
Diffstat (limited to 'generic/proof-config.el')
-rw-r--r-- | generic/proof-config.el | 41 |
1 files changed, 33 insertions, 8 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 5c82946e..148d5a63 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -30,11 +30,21 @@ ;; The remaining variables in sections 2-5 do. ;; +;; +;; 0. Global constants +;; -;; A global constant that's convenient to keep here. -(defconst proof-mode-name "Proof-General" +(defcustom proof-mode-name "Proof-General" "Root name for proof script mode. -Used internally and in menu titles.") +Used internally and in menu titles." + :type 'string + :group 'proof-internal) + +(defcustom proof-general-home-page + "http://www.dcs.ed.ac.uk/home/proofgen" + "*Web address for Proof General" + :type 'string + :group 'proof-internal) @@ -56,11 +66,26 @@ Used internally and in menu titles.") :type 'boolean :group 'proof) -(defcustom proof-general-home-page - "http://www.dcs.ed.ac.uk/home/proofgen" - "*Web address for Proof General" - :type 'string - :group 'proof-internal) +(defface proof-queue-face + '((((type x) (class color) (background light)) + (:background "mistyrose")) + (((type x) (class color) (background dark)) + (:background "mediumvioletred")) + (t + (:foreground "white" :background "black"))) + "Face for commands in proof script waiting to be processed." + :group 'proof) + +(defface proof-locked-face + '((((type x) (class color) (background light)) + (:background "lavender")) + (((type x) (class color) (background dark)) + (:background "navy")) + (t + (:underline t))) + "Face for locked region of proof script (processed commands)." + :group 'proof) + |