From 41d4c583a6a4607388feedfac625d71d6cb32569 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 21 Apr 2009 16:37:25 +0000 Subject: [PATCH] snip and editor-data class lists need to be eventspace-specific svn: r14575 original commit: 4bc2ddaf9d73ad6865b3059b995a15389f56f39a --- collects/mred/mred.ss | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index 0ba30ed8..de283d13 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -74,6 +74,11 @@ (namespace-require 'scheme/class)) ns)) + (define (make-eventspace) + (parameterize ([wx:the-snip-class-list (wx:make-the-snip-class-list)] + [wx:the-editor-data-class-list (wx:make-the-editor-data-class-list)]) + (wx:make-eventspace))) + ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (define-syntax propagate @@ -139,7 +144,6 @@ is-color-display? key-event% keymap% - make-eventspace editor-admin% editor-set-x-selection-mode editor-snip-editor-admin<%> @@ -307,6 +311,7 @@ current-eventspace-has-standard-menus? current-eventspace-has-menu-root? eventspace-handler-thread + make-eventspace make-gui-namespace make-gui-empty-namespace file-creator-and-type