From b345b5a20680046d40fd99f8844be3b35dbb0726 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 2 Dec 2009 23:50:01 +0000
Subject: Fix to last patch for face saving (untested still).

---
 generic/proof-depends.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/generic/proof-depends.el b/generic/proof-depends.el
index 22d5f055..aaa8f59d 100644
--- a/generic/proof-depends.el
+++ b/generic/proof-depends.el
@@ -232,7 +232,7 @@ This is simply to display the dependency somehow."
   (let ((helpmsg  (concat "This item is a dependency (ancestor) of " name)))
     (while nmspans
       (let ((span (cadar nmspans)))
-	(proof-depends-save-old-face)
+	(proof-depends-save-old-face span)
 	(span-set-property span 'face 'proof-highlight-dependency-face)
 	(span-set-property span 'priority pg-dep-span-priority)
 	(span-set-property span 'mouse-highlight nil)
@@ -243,7 +243,7 @@ This is simply to display the dependency somehow."
   (let ((helpmsg  (concat "This item depends on (is a child of) " name)))
     (while nmspans
       (let ((span (cadar nmspans)))
-	(proof-depends-save-old-face)
+	(proof-depends-save-old-face span)
 	(span-set-property span 'face 'proof-highlight-dependent-face)
 	(span-set-property span 'priority pg-dep-span-priority)
 	(span-set-property span 'mouse-highlight nil)
-- 
cgit v1.2.3