diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 09:54:56 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 09:54:56 +0000 |
commit | b30f353c2ea9f514d7ab6bf821a7919adf62143a (patch) | |
tree | 9fe25f3ed35c8377d749d8e7336c9e44fd7481e6 /generic/proof-faces.el | |
parent | 559426016c112b6147fe82582c6479521b0fab6a (diff) |
Clean whitespace
Diffstat (limited to 'generic/proof-faces.el')
-rw-r--r-- | generic/proof-faces.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-faces.el b/generic/proof-faces.el index ee6f426b..bc701565 100644 --- a/generic/proof-faces.el +++ b/generic/proof-faces.el @@ -7,7 +7,7 @@ ;; $Id$ ;; ;;; Commentary: -;; +;; ;; Faces should work sensibly: ;; ;; a) with default colours @@ -29,7 +29,7 @@ "Faces used by Proof General." :group 'proof-general :prefix "proof-") - + ;; TODO: get rid of this list. Does 'default work widely enough ;; by now? (defconst pg-defface-window-systems @@ -161,7 +161,7 @@ Warning messages can come from proof assistant or from Proof General itself." (:italic t)) "*Face for showing (backwards) dependent parts." :group 'proof-faces) - + (defface proof-highlight-dependency-face (proof-face-specs (:background "khaki") |