From 94e6d8f3994e650e00992ca480cff8a0750ec41b Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 22 Dec 2010 19:36:55 -0700 Subject: [PATCH] gtk: clipboard fix Closes PR 11552 --- collects/mred/private/wx/gtk/clipboard.rkt | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/collects/mred/private/wx/gtk/clipboard.rkt b/collects/mred/private/wx/gtk/clipboard.rkt index 4141031c17..22264bdf3b 100644 --- a/collects/mred/private/wx/gtk/clipboard.rkt +++ b/collects/mred/private/wx/gtk/clipboard.rkt @@ -229,13 +229,14 @@ (lambda () (send client get-data (list-ref client-orig-types i))) - #"")) - #"")]) - (gtk_selection_data_set sel-data - (gdk_atom_intern (list-ref client-types i) #t) - 8 - bstr - (bytes-length bstr)))) + #f)) + #f)]) + (when bstr + (gtk_selection_data_set sel-data + (gdk_atom_intern (list-ref client-types i) #t) + 8 + bstr + (bytes-length bstr))))) (define/public (get-data data-format) (let* ([data-format (if (equal? data-format "TEXT")