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/main.c | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/main.c')

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