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

GTK+ 3: make panel's event box invisible

Browse Source 
Making the event box invisible prevents painting a gray
background when placed over a different background (such
as a table panel that is given a different background by
its theme).
This commit is contained in:
Matthew Flatt 2015-08-19 10:34:10 -06:00
parent 312456d1bb
commit 4453642e52
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -25,6 +25,9 @@
(define-gtk gtk_fixed_new (_fun -> _GtkWidget))
(define-gtk gtk_event_box_new (_fun -> _GtkWidget))
(define-gtk gtk_event_box_set_visible_window (_fun _GtkWidget _gboolean -> _void)
#:make-fail make-not-available)
(define-gtk gtk_fixed_move (_fun _GtkWidget _GtkWidget _int _int -> _void))
(define-gtk gtk_container_set_border_width (_fun _GtkWidget _int -> _void))
@ -148,6 +151,7 @@
adjust-client-delta)
(define gtk (as-gtk-allocation (gtk_event_box_new)))
(when gtk3? (gtk_event_box_set_visible_window gtk #f))
(define border-gtk (atomically
(and (memq 'border style)
(let ([border-gtk (gtk_fixed_new)])