From 6293dee279ea37b7c8103f9c55e279b10251bc51 Mon Sep 17 00:00:00 2001 From: Sven Neumann Date: Fri, 30 Jan 2004 14:24:21 +0000 Subject: [PATCH] map the Home button to "index.html" and removed the Index button for now. 2004-01-30 Sven Neumann * plug-ins/helpbrowser/dialog.c: map the Home button to "index.html" and removed the Index button for now. --- ChangeLog | 5 +++++ plug-ins/helpbrowser/dialog.c | 4 +++- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index c1bea5bb20..7afc79cf18 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2004-01-30 Sven Neumann + + * plug-ins/helpbrowser/dialog.c: map the Home button to + "index.html" and removed the Index button for now. + 2004-01-30 Michael Natterer * plug-ins/rcm/rcm_dialog.c (rcm_dialog): fixed help ID. diff --git a/plug-ins/helpbrowser/dialog.c b/plug-ins/helpbrowser/dialog.c index 52d39b05a7..3f22c1751f 100644 --- a/plug-ins/helpbrowser/dialog.c +++ b/plug-ins/helpbrowser/dialog.c @@ -174,6 +174,7 @@ browser_dialog_open (void) G_CALLBACK (button_callback), GINT_TO_POINTER (BUTTON_HOME)); +#if 0 button = gtk_button_new_from_stock (GTK_STOCK_INDEX); gtk_container_add (GTK_CONTAINER (bbox), button); gtk_widget_show (button); @@ -181,6 +182,7 @@ browser_dialog_open (void) g_signal_connect (button, "clicked", G_CALLBACK (button_callback), GINT_TO_POINTER (BUTTON_INDEX)); +#endif back_button = button = gtk_button_new_from_stock (GTK_STOCK_GO_BACK); gtk_container_add (GTK_CONTAINER (bbox), button); @@ -350,7 +352,7 @@ button_callback (GtkWidget *widget, switch (GPOINTER_TO_INT (data)) { case BUTTON_HOME: - browser_dialog_load ("contents.html", TRUE); + browser_dialog_load ("index.html", TRUE); break; case BUTTON_INDEX: