From f5774711069e476fb5ec3ffa4fb838c86aa7f165 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 22 May 1997 19:44:02 +0000 Subject: [PATCH] added locked? original commit: 0ca1eb77a3a3c9b9e996d63200bb38c3e388065a --- collects/mred/edit.ss | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/collects/mred/edit.ss b/collects/mred/edit.ss index f4a37f46..35599c1b 100644 --- a/collects/mred/edit.ss +++ b/collects/mred/edit.ss @@ -49,6 +49,11 @@ [super-lock lock]) (public + [locked? #f] + [lock + (lambda (x) + (set! locked? x) + (super-lock x))] [on-close (lambda () #t)] [get-edit-snip