diff options
Diffstat (limited to 'frontends/gtk/res/pageinfo.gtk3.ui')
-rw-r--r-- | frontends/gtk/res/pageinfo.gtk3.ui | 1 |
1 files changed, 1 insertions, 0 deletions
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> |