X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelp-menu.h;h=730c3be481bd30fef6c2aaae8da0b2fa6e687562;hb=531de52e961c7feaa6f5e86f1de36afa69ab1fab;hp=4d5e2303e6f4aed03498a38b455d4465111034ff;hpb=b9a86e50c9e9631c98fea4b56732de92044e880b;p=pspp

diff --git a/src/ui/gui/help-menu.h b/src/ui/gui/help-menu.h
index 4d5e2303e6..730c3be481 100644
--- a/src/ui/gui/help-menu.h
+++ b/src/ui/gui/help-menu.h
@@ -25,4 +25,17 @@ void merge_help_menu (GtkUIManager *uim);
 void online_help (const char *page);
 
 
+enum index
+  {
+    hi_DESCRIPTIVES,
+    hi_EXAMINE,
+    hi_FREQUENCIES,
+    hi_LOGISTIC_REGRESSION,
+    n_hi
+  };
+
+void set_help_page (GtkWidget *w, enum index idx);
+
+
+
 #endif