Added a callback to the dialog help buttons, and a handler to call

[pspp-builds.git] / src / ui / gui / help-menu.h

diff --git a/src/ui/gui/help-menu.h b/src/ui/gui/help-menu.h
index ff3740fba6291c46598272c17fc7211667a82184..4d5e2303e6f4aed03498a38b455d4465111034ff 100644 (file)
--- a/src/ui/gui/help-menu.h
+++ b/src/ui/gui/help-menu.h
@@ -22,4 +22,7 @@
 
 void merge_help_menu (GtkUIManager *uim);
 
+void online_help (const char *page);
+
+
 #endif