diff options
author | Vincent Sanders <vince@kyllikki.org> | 2020-03-11 08:32:52 +0000 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2020-03-11 08:33:58 +0000 |
commit | 2c549b28fb508b859702f0c2e1122c6ccd3aa34c (patch) | |
tree | 28adc5d9e37cf02037eb827f4a106b043000d79f /frontends/gtk/res/pageinfo.gtk2.ui | |
parent | f59c415ef766d2395bf6680680b3f52efa47d7e1 (diff) | |
download | netsurf-2c549b28fb508b859702f0c2e1122c6ccd3aa34c.tar.gz netsurf-2c549b28fb508b859702f0c2e1122c6ccd3aa34c.tar.bz2 |
add page information ui elements to GTK frontend
Diffstat (limited to 'frontends/gtk/res/pageinfo.gtk2.ui')
-rw-r--r-- | frontends/gtk/res/pageinfo.gtk2.ui | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/frontends/gtk/res/pageinfo.gtk2.ui b/frontends/gtk/res/pageinfo.gtk2.ui new file mode 100644 index 000000000..b690d9c53 --- /dev/null +++ b/frontends/gtk/res/pageinfo.gtk2.ui @@ -0,0 +1,15 @@ +<?xml version="1.0" encoding="UTF-8"?> +<interface> + <requires lib="gtk+" version="2.24"/> + <!-- interface-naming-policy project-wide --> + <object class="GtkWindow" id="PGIWindow"> + <property name="can_focus">False</property> + <child> + <object class="GtkDrawingArea" id="PGIDrawingArea"> + <property name="visible">True</property> + <property name="can_focus">False</property> + <property name="events">GDK_POINTER_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> |