.

original commit: a6db104a8546519d4cfe54a9ce5bd7b93ef7eb39
2003-06-20 16:45:49 +00:00 · 2003-06-20 16:45:49 +00:00 · 2a8164141e
commit 2a8164141e
parent b2bd5ad8ae
1 changed files with 1 additions and 0 deletions
--- a/collects/mred/private/kernel.ss
+++ b/collects/mred/private/kernel.ss
@ -203,6 +203,7 @@
    num-scroll-lines
    scroll-line-location
    get-snip-location
+    in-edit-sequence?
    refresh-delayed?
    end-edit-sequence
    begin-edit-sequence