diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-10-10 16:59:22 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-10 16:59:22 +0000 |
commit | edc03ccc504bc597294d79fa3d6c5bc34e779912 (patch) | |
tree | d909ae05ec6291d3418485a9af0bda16f13b1b47 /generic/pg-user.el | |
parent | b23953129bbcc69668857ca897fa66f044e906e4 (diff) |
pg-span-context-menu: add doc
Diffstat (limited to 'generic/pg-user.el')
-rw-r--r-- | generic/pg-user.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index a8768812..e49dcba5 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -706,6 +706,7 @@ If NUM is negative, move upwards. Return new span." (span-at (pg-pos-for-event event) 'type)) (defun pg-span-context-menu (event) + "Display a context sensitive menu for proof script, around EVENT." (interactive "e") (let* ((span (pg-span-for-event event)) cspan) |