From a6f821ff833171da62a25ad24fd85bc7834f1961 Mon Sep 17 00:00:00 2001
From: Robin Haberkorn <robin.haberkorn@googlemail.com>
Date: Tue, 8 May 2012 05:13:53 +0200
Subject: support for opening the HTML manual from the experiment player help
 menu

URI is configurable (--with-help-uri)
---
 src/default.ui | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'src/default.ui')

diff --git a/src/default.ui b/src/default.ui
index 85f4be4..7f74228 100644
--- a/src/default.ui
+++ b/src/default.ui
@@ -111,6 +111,16 @@
                 <child type="submenu">
                   <object class="GtkMenu" id="help_menu">
                     <property name="visible">True</property>
+                    <child>
+                      <object class="GtkImageMenuItem" id="help_menu_manual_item">
+                        <property name="label" translatable="yes">Read _Manual...</property>
+                        <property name="visible">True</property>
+                        <property name="use_underline">True</property>
+                        <property name="image">image4</property>
+                        <property name="use_stock">False</property>
+                        <signal name="activate" handler="help_menu_manual_item_activate_cb"/>
+                      </object>
+                    </child>
                     <child>
                       <object class="GtkImageMenuItem" id="help_menu_about_item">
                         <property name="label">gtk-about</property>
@@ -236,4 +246,8 @@ audio-volume-medium</property>
     <property name="visible">True</property>
     <property name="stock">gtk-directory</property>
   </object>
+  <object class="GtkImage" id="image4">
+    <property name="visible">True</property>
+    <property name="stock">gtk-help</property>
+  </object>
 </interface>
-- 
cgit v1.2.3