summaryrefslogtreecommitdiff
path: root/frontends/gtk/res/pageinfo.gtk3.ui
diff options
context:
space:
mode:
authorVincent Sanders <vince@kyllikki.org>2020-03-11 08:32:52 +0000
committerVincent Sanders <vince@kyllikki.org>2020-03-11 08:33:58 +0000
commit2c549b28fb508b859702f0c2e1122c6ccd3aa34c (patch)
tree28adc5d9e37cf02037eb827f4a106b043000d79f /frontends/gtk/res/pageinfo.gtk3.ui
parentf59c415ef766d2395bf6680680b3f52efa47d7e1 (diff)
downloadnetsurf-2c549b28fb508b859702f0c2e1122c6ccd3aa34c.tar.gz
netsurf-2c549b28fb508b859702f0c2e1122c6ccd3aa34c.tar.bz2
add page information ui elements to GTK frontend
Diffstat (limited to 'frontends/gtk/res/pageinfo.gtk3.ui')
-rw-r--r--frontends/gtk/res/pageinfo.gtk3.ui21
1 files changed, 21 insertions, 0 deletions
diff --git a/frontends/gtk/res/pageinfo.gtk3.ui b/frontends/gtk/res/pageinfo.gtk3.ui
new file mode 100644
index 000000000..6ea876e14
--- /dev/null
+++ b/frontends/gtk/res/pageinfo.gtk3.ui
@@ -0,0 +1,21 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!-- Generated with glade 3.22.1 -->
+<interface>
+ <requires lib="gtk+" version="3.20"/>
+ <object class="GtkWindow" id="PGIWindow">
+ <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>
+ <child>
+ <placeholder/>
+ </child>
+ <child>
+ <object class="GtkDrawingArea" id="PGIDrawingArea">
+ <property name="name">PGIDrawingArea</property>
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="events">GDK_EXPOSURE_MASK | GDK_POINTER_MOTION_MASK | GDK_BUTTON_MOTION_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_KEY_PRESS_MASK | GDK_KEY_RELEASE_MASK | GDK_STRUCTURE_MASK</property>
+ </object>
+ </child>
+ </object>
+</interface>