From ad8e5a2f73991152989b75f2860c31ab562c6924 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Mario=20Bl=C3=A4ttermann?= Date: Sun, 23 Sep 2012 16:08:37 +0200 Subject: [PATCH] Fixed menu entry for the user docs --- src/ui-commands.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ui-commands.c b/src/ui-commands.c index 2fb397dd..86ac0757 100644 --- a/src/ui-commands.c +++ b/src/ui-commands.c @@ -1102,7 +1102,7 @@ gl_ui_cmd_help_contents (GtkAction *action, g_return_if_fail (window && GL_IS_WINDOW(window)); gtk_show_uri (gtk_widget_get_screen (GTK_WIDGET (window)), - "ghelp:glabels-3.0", + "help:glabels-3.0", gtk_get_current_event_time(), &error); -- 2.39.5