diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-12-02 23:50:01 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-12-02 23:50:01 +0000 |
commit | b345b5a20680046d40fd99f8844be3b35dbb0726 (patch) | |
tree | 2062c008f6118d58c1ad5c11a22a74ed01e39157 | |
parent | 2902fd85474038f98f7343622c4982c5e2f8efe8 (diff) |
Fix to last patch for face saving (untested still).
-rw-r--r-- | generic/proof-depends.el | 4 |
1 files 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) |