eukara
/
WebSurf
0
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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>
This commit is contained in:
Daniel Silverstone 2020-05-08 20:43:43 +01:00
parent 524688098a
commit 14e506f89f
No known key found for this signature in database
GPG Key ID: C30DF439F2987D74
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
frontends/gtk/res/pageinfo.gtk2.ui
View File

@ -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">

1
frontends/gtk/res/pageinfo.gtk3.ui
View File

@ -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>