From 4453642e527e26de2ee03f5280b29fd031628e42 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 19 Aug 2015 10:34:10 -0600 Subject: [PATCH] GTK+ 3: make panel's event box invisible 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). --- gui-lib/mred/private/wx/gtk/panel.rkt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/gui-lib/mred/private/wx/gtk/panel.rkt b/gui-lib/mred/private/wx/gtk/panel.rkt index fb9fdec8..f1c89522 100644 --- a/gui-lib/mred/private/wx/gtk/panel.rkt +++ b/gui-lib/mred/private/wx/gtk/panel.rkt @@ -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)])