suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

change the way the eof button works so that it sends pending input

Browse Source 
into the port (instead of just dropping it)
This commit is contained in:
Robby Findler 2013-06-29 02:31:13 -05:00
parent cf6a389c4e
commit c20933119e
2 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/drracket/tests/drracket/io.rkt
View File

@ -118,7 +118,7 @@ add this test:
(define (reading-test)
(define (do-input-test program input expected-transcript)
(define (do-input-test program input expected-transcript [eof? #f])
(do-execute drs-frame)
(type-in-interactions drs-frame program)
(let ([before-newline-pos (send interactions-text last-position)])
@ -129,6 +129,10 @@ add this test:
"input box didn't appear")
(type-string input)
(when eof?
(queue-callback/res
(λ ()
(send interactions-text send-eof-to-box-in-port))))
(wait-for-computation drs-frame)
(let ([got-value
(fetch-output drs-frame
@ -144,6 +148,7 @@ add this test:
expected-transcript got-value program input)))))
(clear-definitions drs-frame)
(do-input-test "(read-char)" "a\n" "a\n#\\a")
(do-input-test "(read-char)" "λ\n" "λ\n#\\λ")
(do-input-test "(read-line)" "abcdef\n" "abcdef\n\"abcdef\"")
@ -184,7 +189,10 @@ add this test:
"(read-bytes-avail!* bs2)"
"(list b bs0 bs1 bs2))\n")
"ab\n"
"ab\n(97 #\"b\" #\"\\n\" #\"\\2\")"))
"ab\n(97 #\"b\" #\"\\n\" #\"\\2\")")
(do-input-test "(read-char)" "" "#<eof>" #t)
(do-input-test "(read-char)(read-char)" "a" "a#\\a\n#<eof>" #t))
(define drs-frame #f)
(define interactions-text #f)

2
pkgs/gui-pkgs/gui-lib/framework/private/text.rkt
View File

@ -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)))