From 55d0d96dbe073906ca3c77e0d127eba2cd1778d5 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 12 Jan 2016 10:05:09 -0700 Subject: [PATCH] Gtk: fix handling of widget to extract text colors With GTK+ 3 on Raspbian, at least, the old management of the widget causes a crash. --- gui-lib/mred/private/wx/gtk/style.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gui-lib/mred/private/wx/gtk/style.rkt b/gui-lib/mred/private/wx/gtk/style.rkt index 4cc7f1e6..c935e319 100644 --- a/gui-lib/mred/private/wx/gtk/style.rkt +++ b/gui-lib/mred/private/wx/gtk/style.rkt @@ -67,6 +67,7 @@ (define-gtk gtk_widget_get_style (_fun _GtkWidget -> _GtkStyle-pointer)) (define-gtk gtk_rc_get_style (_fun _GtkWidget -> _GtkStyle-pointer)) (define-gtk gtk_text_view_new (_fun -> _GtkWidget)) +(define-gtk gtk_widget_destroy (_fun _GtkWidget -> _void)) (define the-text-style (let ([w (gtk_text_view_new)]) @@ -74,8 +75,7 @@ (g_object_ref style) (begin0 style - (g_object_ref_sink w) - (g_object_unref w))))) + (gtk_widget_destroy w))))) (define (extract-color-values c) (define (s v) (arithmetic-shift v -8))