gtk_window_set_title(GTK_WINDOW(help_window), "Disobedience Manual Page");
view = gtk_text_view_new_with_buffer(html_buffer(manual));
gtk_text_view_set_editable(GTK_TEXT_VIEW(view), FALSE);
gtk_window_set_title(GTK_WINDOW(help_window), "Disobedience Manual Page");
view = gtk_text_view_new_with_buffer(html_buffer(manual));
gtk_text_view_set_editable(GTK_TEXT_VIEW(view), FALSE);