From 5f9d2ea5e78ab9bcb912a82f744b9f9b0883d9d2 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 13 Dec 2010 10:34:56 -0700 Subject: [PATCH] gtk: fix clipboard text request to return "" instead of #f to match weird old interface original commit: 3456ee185ad0e777fbb2c72f1923fc0a3547cbfe --- collects/mred/private/wx/gtk/clipboard.rkt | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/collects/mred/private/wx/gtk/clipboard.rkt b/collects/mred/private/wx/gtk/clipboard.rkt index 64f9edbd..4141031c 100644 --- a/collects/mred/private/wx/gtk/clipboard.rkt +++ b/collects/mred/private/wx/gtk/clipboard.rkt @@ -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