From d02eaddd89f29d212c2e8f43b65047048a0d958f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 28 Nov 2009 11:13:31 +0000 Subject: *** empty log message *** --- generic/proof-depends.el | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'generic/proof-depends.el') diff --git a/generic/proof-depends.el b/generic/proof-depends.el index 748de7bc..0f2a0108 100644 --- a/generic/proof-depends.el +++ b/generic/proof-depends.el @@ -204,7 +204,8 @@ If LIST is empty, return a disabled menu item with NAME." (defun proof-make-highlight-depts-menu (name fn span prop) "Return a menu item that for highlighting dependents/depencies of SPAN." (let ((deps (span-property span prop))) - (vector name `(,fn ,(span-property span 'name) (quote ,deps)) (not (not deps))))) + (vector name `(,fn ,(span-property span 'name) (quote ,deps)) + (not (not deps))))) ;; @@ -249,7 +250,7 @@ This is simply to display the dependency somehow." (setq nmspans (cdr nmspans))))) (defun proof-dep-unhighlight () - "Returned all highlighted spans in file to the proof-locked-face highlighting." + "Returned all highlighted spans in file to the `proof-locked-face' highlighting." (interactive) ;; FIXME: not quite right! Will highlight spans in queue as locked too, ;; and covers too many spans. -- cgit v1.2.3