From 2a8164141e72d67c4be47121ebf4c626b897afc5 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 20 Jun 2003 16:45:49 +0000 Subject: [PATCH] . original commit: a6db104a8546519d4cfe54a9ce5bd7b93ef7eb39 --- collects/mred/private/kernel.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss index 326639d2..9e87c57b 100644 --- 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