From bcc02e0ab9c1f0aa863d6156ccccba6240365f34 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 11 Mar 2005 20:21:08 +0000 Subject: [PATCH] . original commit: 06e1992a433e1bd4a7dd03411c727cead87f33ad --- collects/mred/private/kernel.ss | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss index b2072862..162ccf76 100644 --- a/collects/mred/private/kernel.ss +++ b/collects/mred/private/kernel.ss @@ -1008,6 +1008,8 @@ get-data on-replaced) (define-class ps-setup% object% () + show-native + can-show-native? copy-from set-margin set-editor-margin