From 3981ea12a77f17ee86a869fd0542776f3b16874d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 27 Jan 2011 12:12:35 -0700 Subject: [PATCH] gtk: fix float frames to not appear in WM's window list original commit: 45999143a4ad550520404299dd1fb2e38a4ee3d7 --- collects/mred/private/wx/gtk/const.rkt | 1 + collects/mred/private/wx/gtk/frame.rkt | 4 +++- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/mred/private/wx/gtk/const.rkt b/collects/mred/private/wx/gtk/const.rkt index f7650353..4e1f12d5 100644 --- a/collects/mred/private/wx/gtk/const.rkt +++ b/collects/mred/private/wx/gtk/const.rkt @@ -3,6 +3,7 @@ (provide (except-out (all-defined-out) <<)) (define GTK_WINDOW_TOPLEVEL 0) +(define GTK_WINDOW_POPUP 1) (define << arithmetic-shift) diff --git a/collects/mred/private/wx/gtk/frame.rkt b/collects/mred/private/wx/gtk/frame.rkt index 179d8ce5..8c43cf8e 100644 --- a/collects/mred/private/wx/gtk/frame.rkt +++ b/collects/mred/private/wx/gtk/frame.rkt @@ -149,7 +149,9 @@ queue-on-size) (define gtk (as-gtk-window-allocation - (gtk_window_new GTK_WINDOW_TOPLEVEL))) + (gtk_window_new (if (memq 'float style) + GTK_WINDOW_POPUP + GTK_WINDOW_TOPLEVEL)))) (when (memq 'no-caption style) (gtk_window_set_decorated gtk #f)) (when (memq 'float style)