diff options
Diffstat (limited to 'audio/grip/help_fallback_html.diff')
| -rw-r--r-- | audio/grip/help_fallback_html.diff | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/audio/grip/help_fallback_html.diff b/audio/grip/help_fallback_html.diff new file mode 100644 index 0000000000..ff7f5bac04 --- /dev/null +++ b/audio/grip/help_fallback_html.diff @@ -0,0 +1,14 @@ +diff -Naur grip-4.2.3/src/grip.c grip-4.2.3.patched/src/grip.c +--- grip-4.2.3/src/grip.c 2021-07-07 13:53:25.000000000 -0400 ++++ grip-4.2.3.patched/src/grip.c 2021-12-13 14:10:40.912094097 -0500 +@@ -370,6 +370,10 @@ + screen = gtk_widget_get_screen (widget); + + gtk_show_uri(screen, "ghelp:grip", gtk_get_current_event_time(), &error); ++ if(error != NULL) { ++ error = NULL; ++ gtk_show_uri(screen, "file:///usr/doc/grip-" VERSION "/html/grip.html", gtk_get_current_event_time(), &error); ++ } + + if (error != NULL) { + GtkWidget *d; |