diff options
author | Mario Blättermann <mario.blaettermann@gmail.com> | 2012-09-23 16:08:37 +0200 |
---|---|---|
committer | Mario Blättermann <mario.blaettermann@gmail.com> | 2012-09-23 16:08:37 +0200 |
commit | ad8e5a2f73991152989b75f2860c31ab562c6924 (patch) | |
tree | 1d6f426208e0fb1b53ff5cab690e18d9f7e0f135 | |
parent | 431595191971940954bc843973cee1a2466cecac (diff) |
Fixed menu entry for the user docsitstool
-rw-r--r-- | src/ui-commands.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ui-commands.c b/src/ui-commands.c index 2fb397d..86ac075 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); |