diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index a62900c0..2b6e92ae 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -148,26 +148,6 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding (make-variable-buffer-local 'proof-locked-span) (make-variable-buffer-local 'proof-queue-span) -(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) - (defun proof-init-segmentation () (setq proof-queue-loose-end nil) (if (not proof-queue-span) |