doxygen + window title for man page popup

diff --git a/disobedience/help.c b/disobedience/help.c
index 3510c28583e182138729e45493cf47a1db201e56..b90ea35b9fdcd3883bfc875099ef1a35aa8f0582 100644 (file)
--- a/disobedience/help.c
+++ b/disobedience/help.c
@@ -191,6 +191,7 @@ static void insert_html(GtkTextBuffer *buffer,
   html_parse(&insert_html_callbacks, html, s);
 }
 
   html_parse(&insert_html_callbacks, html, s);
 }
 

+/** @brief Create a GtkTextBuffer with @p html rendered into it */

 static GtkTextBuffer *html_buffer(const char *html) {
   GtkTextBuffer *buffer = gtk_text_buffer_new(NULL);
 
 static GtkTextBuffer *html_buffer(const char *html) {
   GtkTextBuffer *buffer = gtk_text_buffer_new(NULL);
 


@@ -198,8 +199,10 @@ static GtkTextBuffer *html_buffer(const char *html) {
   return buffer;
 }
 
   return buffer;
 }
 

+/** @brief The manual page window */

 static GtkWidget *help_window;
 
 static GtkWidget *help_window;
 

+/** @brief Pop up the manual page in a window */

 void popup_help(void) {
   GtkWidget *view;
   
 void popup_help(void) {
   GtkWidget *view;
   


@@ -210,7 +213,7 @@ void popup_help(void) {
   help_window = gtk_window_new(GTK_WINDOW_TOPLEVEL);
   g_signal_connect(help_window, "destroy",
                   G_CALLBACK(gtk_widget_destroyed), &help_window);
   help_window = gtk_window_new(GTK_WINDOW_TOPLEVEL);
   g_signal_connect(help_window, "destroy",
                   G_CALLBACK(gtk_widget_destroyed), &help_window);

-  gtk_window_set_title(GTK_WINDOW(help_window), "Disobedience Manual");
+  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_container_add(GTK_CONTAINER(help_window),
   view = gtk_text_view_new_with_buffer(html_buffer(manual));
   gtk_text_view_set_editable(GTK_TEXT_VIEW(view), FALSE);
   gtk_container_add(GTK_CONTAINER(help_window),