From 14e506f89f971ddbe204576092c6ffec59e85248 Mon Sep 17 00:00:00 2001
From: Daniel Silverstone <dsilvers@digital-scurf.org>
Date: Fri, 8 May 2020 20:43:43 +0100
Subject: GTK RES: Make page info windows popup type

In order for GTK windows to be styled properly, in the context
we use them, the page-info windows need to be marked as popup
windows (typically used for transient popups such a menus, so
ideal for us).

Signed-off-by: Daniel Silverstone <dsilvers@digital-scurf.org>
---
 frontends/gtk/res/pageinfo.gtk2.ui | 1 +
 frontends/gtk/res/pageinfo.gtk3.ui | 1 +
 2 files changed, 2 insertions(+)

(limited to 'frontends/gtk/res')

diff --git a/frontends/gtk/res/pageinfo.gtk2.ui b/frontends/gtk/res/pageinfo.gtk2.ui
index b690d9c53..3d541d653 100644
--- a/frontends/gtk/res/pageinfo.gtk2.ui
+++ b/frontends/gtk/res/pageinfo.gtk2.ui
@@ -3,6 +3,7 @@
   <requires lib="gtk+" version="2.24"/>
   <!-- interface-naming-policy project-wide -->
   <object class="GtkWindow" id="PGIWindow">
+    <property name="type">GTK_WINDOW_POPUP</property>
     <property name="can_focus">False</property>
     <child>
       <object class="GtkDrawingArea" id="PGIDrawingArea">
diff --git a/frontends/gtk/res/pageinfo.gtk3.ui b/frontends/gtk/res/pageinfo.gtk3.ui
index 6ea876e14..fdee5ac8d 100644
--- a/frontends/gtk/res/pageinfo.gtk3.ui
+++ b/frontends/gtk/res/pageinfo.gtk3.ui
@@ -3,6 +3,7 @@
 <interface>
   <requires lib="gtk+" version="3.20"/>
   <object class="GtkWindow" id="PGIWindow">
+    <property name="type">GTK_WINDOW_POPUP</property>
     <property name="can_focus">False</property>
     <property name="events">GDK_POINTER_MOTION_MASK | GDK_BUTTON_MOTION_MASK | GDK_STRUCTURE_MASK</property>
     <property name="resizable">False</property>
-- 
cgit v1.2.3