From 05f037e7878c75509e94aa17d13dbf37c7ed56a9 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 29 Jun 2013 02:31:13 -0500 Subject: [PATCH] change the way the eof button works so that it sends pending input into the port (instead of just dropping it) original commit: c20933119e96b0dee4d29c3cc0b306a37260b4e9 --- pkgs/gui-pkgs/gui-lib/framework/private/text.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/gui-pkgs/gui-lib/framework/private/text.rkt b/pkgs/gui-pkgs/gui-lib/framework/private/text.rkt index e35e538b..54d89044 100644 --- a/pkgs/gui-pkgs/gui-lib/framework/private/text.rkt +++ b/pkgs/gui-pkgs/gui-lib/framework/private/text.rkt @@ -2296,8 +2296,10 @@ (define/public-final (get-allow-edits) allow-edits?) (define/public-final (send-eof-to-in-port) + (when box-input (new-box-input (send box-input get-editor))) (channel-put read-chan (cons eof (position->line-col-pos unread-start-point)))) (define/public-final (send-eof-to-box-in-port) + (when box-input (new-box-input (send box-input get-editor))) (channel-put box-read-chan (cons eof (position->line-col-pos unread-start-point)))) (define/public-final (clear-input-port) (channel-put clear-input-chan (void))) (define/public-final (clear-box-input-port) (channel-put box-clear-input-chan (void)))