Re-enabled and renamed proof-send-span: becomes proof-copy-span bound to C-button1

1 files changed, 1 insertions, 0 deletions

diff --git a/todo b/todo
index 6a413d98..cd501c6d 100644
--- a/todo
+++ b/todo
@@ -49,6 +49,7 @@ A Pending work, in progress [da]:
     - investigate toolbar refresh problems
     - investigate of excessive processing for large proofs
     - investigate bug fix for vacuous locked regions
+    - document proof-copy-span (new name for proof-send-span, re-enabled).
 
 A Usability enhancement:
    Enable toolbar in other buffers.  Should switch to active