diff options
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
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) |