diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-11-28 11:13:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-11-28 11:13:31 +0000 |
| commit | d02eaddd89f29d212c2e8f43b65047048a0d958f (patch) | |
| tree | 5efc5396d2a5ad402779a870700016f50fb87193 /generic/proof-depends.el | |
| parent | 669ee36aab7ab7584d410284bd57a94d7d2418ce (diff) | |
*** empty log message ***
Diffstat (limited to 'generic/proof-depends.el')
| -rw-r--r-- | generic/proof-depends.el | 5 |
1 files changed, 3 insertions, 2 deletions
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. |