From 59fa14e009b386ef8fd792f4d5a5c33255bef8a8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 29 Sep 1999 15:46:01 +0000
Subject: Changed name of proof-copy-span to proof-mouse-track-insert.

---
 generic/proof-script.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 7b78b855..98cd7a35 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1777,7 +1777,7 @@ Otherwise just do proof-restart-buffers to delete some spans from memory."
 ;; to the end of it at the moment (contrary to the old name "send", nothing to
 ;; do with shell).  Perhaps we could define a
 ;; collection of useful copying functions which do this kind of thing.
-(define-key map [(control button1)]	  'proof-copy-span)
+(define-key map [(control button1)]	  'proof-mouse-track-insert)
 ;;; (define-key map [(control c) (control b)] 'proof-process-buffer)
 
 (define-key map [(control c) (control z)] 'proof-frob-locked-end)
-- 
cgit v1.2.3