From f21c20710b57cc2e3606d3c9a299788189170088 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 16 Jul 2002 16:24:06 +0000 Subject: [PATCH] . original commit: cf196a7bb2d5ebb0099816ddabfe94432afb5c85 --- collects/mred/mred-sig.ss | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/collects/mred/mred-sig.ss b/collects/mred/mred-sig.ss index bff081ca..990f3fb1 100644 --- a/collects/mred/mred-sig.ss +++ b/collects/mred/mred-sig.ss @@ -111,6 +111,7 @@ mouse-event% ;; mred@ mult-color<%> + open-input-text-editor pane% panel% pasteboard% @@ -125,12 +126,14 @@ put-file queue-callback radio-box% + readable-snip<%> read-editor-global-footer read-editor-global-header region% register-collecting-blit scroll-event% selectable-menu-item<%> + send-event send-message-to-window separator-menu-item% sleep/yield @@ -148,6 +151,7 @@ subwindow<%> tab-snip% text% + text-editor-load-handler text-field% the-brush-list the-clipboard @@ -166,5 +170,6 @@ write-editor-global-footer write-editor-global-header write-resource - yield))) + yield + )))