From 30b37f0cecaea152ae73732f980544f7e1f86cc8 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 19 Jan 2009 03:25:56 +0000 Subject: [PATCH] fix GUI I/O when Return is typed in the middle of the editor (merge into 4.1.4) svn: r13211 --- src/mred/mred.cxx | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/src/mred/mred.cxx b/src/mred/mred.cxx index d4000c9a13..1809a13fe6 100644 --- a/src/mred/mred.cxx +++ b/src/mred/mred.cxx @@ -2466,10 +2466,12 @@ static Bool RecordInput(void *m, wxEvent *event, void *data) media->Insert("\n"); start = media->GetStartPosition(); len = start - ioFrame->endpos; - s = media->GetTextUTF8(ioFrame->endpos, start); - ioFrame->endpos = start; - - scheme_write_byte_string(s, len, stdin_pipe); + if (len > 0) { + s = media->GetTextUTF8(ioFrame->endpos, start); + ioFrame->endpos = start; + + scheme_write_byte_string(s, len, stdin_pipe); + } return TRUE; }