static void app_menu_help_cb (GSimpleAction *action, GVariant *parameter, gpointer user_data) { terminal_util_show_help (NULL, NULL); }
static void response_callback (GtkWidget *window, int id, EncodingDialogData *data) { if (id == GTK_RESPONSE_HELP) terminal_util_show_help ("mate-terminal-encoding-add", GTK_WINDOW (window)); else gtk_widget_destroy (GTK_WIDGET (window)); }
static void editor_response_cb (GtkWidget *editor, int response, gpointer use_data) { if (response == GTK_RESPONSE_HELP) { terminal_util_show_help ("mate-terminal-prefs", GTK_WINDOW (editor)); return; } gtk_widget_destroy (editor); }
static void editor_help_button_clicked_cb (GtkWidget *button, GtkWidget *editor) { terminal_util_show_help ("profile", GTK_WINDOW (editor)); }