diff options
| -rw-r--r-- | frontends/gtk/res/pageinfo.gtk2.ui | 1 | ||||
| -rw-r--r-- | frontends/gtk/res/pageinfo.gtk3.ui | 1 |
2 files changed, 2 insertions, 0 deletions
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> |