From 91c28644eb61c086bb83d4dca76c86e34e6b6029 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 19 Aug 2007 11:41:03 +0000
Subject: Fix attribute for proof-active-area-face

---
 generic/proof-config.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 7709e279..3690e0a3 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -594,9 +594,9 @@ Warning messages can come from proof assistant or from Proof General itself."
 
 (defface proof-active-area-face 
   (proof-face-specs
-   (:underlined t)
-   (:underlined t)
-   (:underlined t))
+   (:underline t)
+   (:underline t)
+   (:underline t))
   "*Face for showing active areas (clickable regions), outside of subterm markup."
   :group 'proof-faces)
 
-- 
cgit v1.2.3