diff options
| author | David Aspinall | 2002-08-16 20:11:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-16 20:11:39 +0000 |
| commit | aa1ee9392aef8591d92a1713f3d160b300527e9b (patch) | |
| tree | e5050743684e51a609b6bb1aa9c305a4fded4ebe | |
| parent | 45f294fdec0b329bceaf5a5ff3ed910bba1b15d4 (diff) | |
Updated.
| -rw-r--r-- | CHANGES | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -26,9 +26,11 @@ compatibility is far too difficult to maintain. *** Colours altered -Queue and locked colours made a little less lurid. +Colours made a little less lurid. Reverse video tweaks. (Look in proof-config for proof-locked-face, proof-queue-face -and old settings if you want to change back). +and old settings if you want to change back: +use M-x customize-face, M-x list-faces-display, +M-x list-colours-display to play with your own defaults). *** Improvements to visibility controls |
