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