From 82457258e2f555cd6bc77cd3bc3e61b9e40df7f5 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 20 Apr 2013 08:31:26 -0600 Subject: [PATCH] mrlib/terminal: create embedded terminal in a container sequence --- collects/mrlib/terminal.rkt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/collects/mrlib/terminal.rkt b/collects/mrlib/terminal.rkt index 94a94bfe76..168fd11e6b 100644 --- a/collects/mrlib/terminal.rkt +++ b/collects/mrlib/terminal.rkt @@ -94,6 +94,9 @@ [callback (λ (item evt) (send text set-position 0 (send text last-position)))])) + + (when container + (send container begin-container-sequence)) (set! sub-container (or frame @@ -136,6 +139,8 @@ (send text lock #t) (send text hide-caret #t) (semaphore-post setup-sema) + (when container + (send container end-container-sequence)) (when frame (send frame show #t)))))