From d19e9b1a532fffc76f26cc99a092781a5a357b46 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 29 Jul 2014 21:07:05 -0400 Subject: [PATCH] Export editor stream base classes in TR GUI original commit: c14030860397ad18368a4bbb3b9ce302f2f884e9 --- pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/gui.rkt | 2 ++ .../typed-racket-more/typed/racket/private/gui-types.rkt | 2 ++ 2 files changed, 4 insertions(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/gui.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/gui.rkt index c44aa79e..fd060ee3 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/gui.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/gui.rkt @@ -86,7 +86,9 @@ [editor-data% (parse-type #'Editor-Data%)] [editor-data-class% (parse-type #'Editor-Data-Class%)] [editor-stream-in% (parse-type #'Editor-Stream-In%)] + [editor-stream-in-base% (parse-type #'Editor-Stream-In-Base%)] [editor-stream-out% (parse-type #'Editor-Stream-Out%)] + [editor-stream-out-base% (parse-type #'Editor-Stream-Out-Base%)] [keymap% (parse-type #'Keymap%)] [pasteboard% (parse-type #'Pasteboard%)] [text% (parse-type #'Text%)] diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt index 675b13bf..86e7f816 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt @@ -1911,6 +1911,8 @@ Editor-Data-Class% Editor-Stream-In% Editor-Stream-Out% + Editor-Stream-In-Base% + Editor-Stream-Out-Base% Keymap% Pasteboard% Text%)