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/Makefile.am |  3 ++-
 src/default.ui  | 14 ++++++++++++++
 src/main.c      |  7 +++++++
 3 files changed, 23 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/Makefile.am b/src/Makefile.am
index f69a513..8915af2 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -4,7 +4,8 @@ bin_PROGRAMS = experiment-player
 experiment_player_SOURCES = main.c
 
 experiment_player_CFLAGS = $(AM_CFLAGS)
-experiment_player_CPPFLAGS = -DDEFAULT_UI='"@DEFAULT_UI@"'
+experiment_player_CPPFLAGS = -DDEFAULT_UI='"@DEFAULT_UI@"' \
+			     -DHELP_URI='"@HELP_URI@"'
 experiment_player_LDFLAGS =
 experiment_player_LDADD =
 
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>
diff --git a/src/main.c b/src/main.c
index e71914b..af75dfb 100644
--- a/src/main.c
+++ b/src/main.c
@@ -136,6 +136,13 @@ quickopen_menu_refresh_item_activate_cb(GtkWidget *widget,
 	refresh_quickopen_menu(GTK_MENU(widget));
 }
 
+void
+help_menu_manual_item_activate_cb(GtkWidget *widget __attribute__((unused)),
+				  gpointer data __attribute__((unused)))
+{
+	gtk_show_uri(NULL, HELP_URI, GDK_CURRENT_TIME, NULL);
+}
+
 void
 generic_quit_cb(GtkWidget *widget __attribute__((unused)),
 		gpointer data __attribute__((unused)))
-- 
cgit v1.2.3