From 60356be91e5543b9ed7c226b293cb85a9a3553de Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 29 Sep 1999 14:43:21 +0000
Subject: Re-enabled and renamed proof-send-span: becomes proof-copy-span bound
 to C-button1

---
 generic/proof-shell.el | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'generic/proof-shell.el')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 9f8d2458..60fdeb0f 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -463,9 +463,10 @@ Proof General with the proof assistant."
       (incf a))
     (apply 'concat (nreverse ls))))
 
-;; FIXME da: this is an oddity.  Was bound by default to
-;; control - button1, I've turned it off.
-(defun proof-send-span (event)
+;; FIXME da: this is an oddity.  It copies the span, but does not
+;; send it, contrary to it's old name ("proof-send-span").   
+;; Maybe belongs elsewhere.
+(defun proof-copy-span (event)
   (interactive "e")
   (let* ((span (span-at (mouse-set-point event) 'type))
 	 (str  (if span (span-property span 'cmd))))
-- 
cgit v1.2.3