support for opening the HTML manual from the experiment player help menu

URI is configurable (--with-help-uri)

3 files changed, 23 insertions, 1 deletions

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
@@ -112,6 +112,16 @@
                   <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>
                         <property name="visible">True</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
@@ -137,6 +137,13 @@ quickopen_menu_refresh_item_activate_cb(GtkWidget *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)))
 {