suzanne.soy/gui
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)

original commit: c20933119e96b0dee4d29c3cc0b306a37260b4e9
This commit is contained in:
Robby Findler 2013-06-29 02:31:13 -05:00
parent accf95a7a5
commit 05f037e787
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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