G_CALLBACK(gtk_widget_destroyed), &help_window);
gtk_window_set_title(GTK_WINDOW(help_window), "Disobedience Manual");
view = gtk_text_view_new_with_buffer(html_buffer(manual));
G_CALLBACK(gtk_widget_destroyed), &help_window);
gtk_window_set_title(GTK_WINDOW(help_window), "Disobedience Manual");
view = gtk_text_view_new_with_buffer(html_buffer(manual));