X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelp-menu.h;h=55dc4a27439ab7f3f3442fd670d2f594f363dc3e;hb=8a6611e7e3bbba8be61cd35f8701f50d6e255e44;hp=ff3740fba6291c46598272c17fc7211667a82184;hpb=cd7df218e1f2798b4ac8e193558a67e6ad59e3ed;p=pspp

diff --git a/src/ui/gui/help-menu.h b/src/ui/gui/help-menu.h
index ff3740fba6..55dc4a2743 100644
--- a/src/ui/gui/help-menu.h
+++ b/src/ui/gui/help-menu.h
@@ -20,6 +20,22 @@
 #include <gtk/gtk.h>
 
 
-void merge_help_menu (GtkUIManager *uim);
+GtkWidget * create_help_menu (GtkWindow *toplevel);
+
+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