gtk: clipboard fix

Closes PR 11552
This commit is contained in:
Matthew Flatt 2010-12-22 19:36:55 -07:00
parent 4a6af2a81e
commit 94e6d8f399

View File

@ -229,13 +229,14 @@
(lambda () (lambda ()
(send client get-data (send client get-data
(list-ref client-orig-types i))) (list-ref client-orig-types i)))
#"")) #f))
#"")]) #f)])
(when bstr
(gtk_selection_data_set sel-data (gtk_selection_data_set sel-data
(gdk_atom_intern (list-ref client-types i) #t) (gdk_atom_intern (list-ref client-types i) #t)
8 8
bstr bstr
(bytes-length bstr)))) (bytes-length bstr)))))
(define/public (get-data data-format) (define/public (get-data data-format)
(let* ([data-format (if (equal? data-format "TEXT") (let* ([data-format (if (equal? data-format "TEXT")