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

gtk: fix clipboard text request to return "" instead of #f

Browse Source 
to match weird old interface

original commit: 3456ee185ad0e777fbb2c72f1923fc0a3547cbfe
This commit is contained in:
Matthew Flatt 2010-12-13 10:34:56 -07:00
parent c3be46ef63
commit 5f9d2ea5e7
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
collects/mred/private/wx/gtk/clipboard.rkt
View File

@ -249,11 +249,12 @@
l)))))
(define/public (get-text-data)
(wait-request-backref
(atomically
(let-values ([(l backref) (make-request-backref)])
(gtk_clipboard_request_text cb backref)
l))))
(or (wait-request-backref
(atomically
(let-values ([(l backref) (make-request-backref)])
(gtk_clipboard_request_text cb backref)
l)))
""))
(define/public (get-bitmap-data)
(wait-request-backref