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

Gtk: fix handling of widget to extract text colors

Browse Source 
With GTK+ 3 on Raspbian, at least, the old management of the
widget causes a crash.

(cherry picked from commit 55d0d96dbe)
This commit is contained in:
Matthew Flatt 2016-01-12 10:05:09 -07:00
parent a33a2ca28d
commit 166b03c69d
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gui-lib/mred/private/wx/gtk/style.rkt
View File

@ -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))