diff options
| author | David Aspinall | 2001-09-03 21:44:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-09-03 21:44:11 +0000 |
| commit | a461d12f9e1be501f8bf6e9490f71160ca2e325e (patch) | |
| tree | ff87e5772b526b5508e97d3e96c59c0f4c0679d5 | |
| parent | 847d735a10301d41ffb35bc0adececde2c0bb078 (diff) | |
Change colour of locked region.
| -rw-r--r-- | generic/proof-config.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index f8b58633..b581890a 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -425,7 +425,7 @@ The protocol used should be configured so that no user interaction (defface proof-locked-face (proof-face-specs - (:background "lightsteelblue2") ; was "lavender" + (:background "lightcyan") ; was "lavender", then "lightsteelblue" (:background "navy") (:underline t)) "*Face for locked region of proof script (processed commands)." @@ -935,8 +935,8 @@ NB: This setting is not used for matching output from the prover." The name of the theorem is build from the variable proof-save-with-hole-result using the same convention as query-replace-regexp. -Used for setting names of goal..save regions and for default -function-menu configuration in proof-script-find-next-entity. +Used for setting names of goal..save and proof regions and for +default function-menu configuration in proof-script-find-next-entity. It's safe to leave this setting as nil." :type 'regexp |